Temat: closure - Katalog OPAC zbiorów

Skocz do pozycji: 1.

Tytuł:: A Syntactic Approach to Closure Operation
Autorzy:: Nowak, Marek
Powiązania:: https://bibliotekanauki.pl/articles/750010.pdf
Data publikacji:: 2017
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: closure operation
closure system
rule of inference
Opis:: 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.
Źródło:: Bulletin of the Section of Logic; 2017, 46, 3/4
0138-0680
2449-836X
Pojawia się w:: Bulletin of the Section of Logic
Dostawca treści:: Biblioteka Nauki

Artykuł

Skocz do pozycji: 2.

Tytuł:: Disjunctive Multiple-Conclusion Consequence Relations
Autorzy:: Nowak, Marek
Powiązania:: https://bibliotekanauki.pl/articles/750032.pdf
Data publikacji:: 2019
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: multiple-conclusion consequence relation
closure operation
Galois connection
Opis:: 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.
Źródło:: Bulletin of the Section of Logic; 2019, 48, 4
0138-0680
2449-836X
Pojawia się w:: Bulletin of the Section of Logic
Dostawca treści:: Biblioteka Nauki

Artykuł

Skocz do pozycji: 3.

Tytuł:: Closure Operators on Complete Almost Distributive Lattices-III
Autorzy:: Rao, Calyampudi Radhakrishna
Undurthi, Venugopalam
Powiązania:: https://bibliotekanauki.pl/articles/749960.pdf
Data publikacji:: 2015
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: Complete Almost Distributive Lattice
Closure operator
Dual atom
Dual atomistic
Completely meet-irreducible element
Opis:: In this paper, we prove that the lattice of all closure operators of a complete Almost Distributive Lattice L with fixed maximal element m is dual atomistic. We define the concept of a completely meet-irreducible element in a complete ADL and derive a necessary and sufficient condition for a dual atom of Φ(L) to be complemented.
Źródło:: Bulletin of the Section of Logic; 2015, 44, 1-2
0138-0680
2449-836X
Pojawia się w:: Bulletin of the Section of Logic
Dostawca treści:: Biblioteka Nauki

Artykuł

Informacja