Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na https://bibliotekanauki.pl

Ograniczanie wyników

Czasopisma help

  1. 3 Bulletin of the Section of Logic

Autorzy help

  1. 3 Nowak M.

Lata help

  1. 1 2019

  2. 1 2017

  3. 1 2016

Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 3

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last

Wyniki wyszukiwania

help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik
Content available

Disjunctive Multiple-Conclusion Consequence Relations

100%
Nowak M.
Bulletin of the Section of Logic
|
2019
|
tom 48
|
nr 4
EN
The concept of multiple-conclusion consequence relation from [8] and [7] is considered. The closure operation C assigning to any binary relation r (dened on the power set of a set of all formulas of a given language) the least multiple-conclusion consequence relation containing r, is dened on the grounds of a natural Galois connection. It is shown that the very closure C is an isomorphism from the power set algebra of a simple binary relation to the Boolean algebra of all multiple-conclusion consequence relations.
2
Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik
Content available

A Syntactic Approach to Closure Operation

100%
Nowak M.
Bulletin of the Section of Logic
|
2017
|
tom 46
|
nr 3/4
EN
In the paper, tracing the traditional Hilbert-style syntactic account of logics, a syntactic characteristic of a closure operation defined on a complete lattice follows. The approach is based on observation that the role of rule of inference for a given consequence operation may be played by an ordinary binary relation on the complete lattice on which the closure operation is defined.
3
Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik
Content available

Quasiorders, Tolerance Relations and Corresponding “Partitions”

100%
Nowak M.
Bulletin of the Section of Logic
|
2016
|
tom 45
|
nr 2
EN
The paper deals with a generalization of the notion of partition for wider classes of binary relations than equivalences: for quasiorders and tolerance relations. The counterpart of partition for the quasiorders is based on a generalization of the notion of equivalence class while it is shown that such a generalization does not work in case of tolerances. Some results from [5] are proved in a much more simple way. The third kind of “partition” corresponding to tolerances, not occurring in [5], is introduced.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.