Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: representable diagonal-free cylindric algebras

Sortuj według:

Ogranicz wyniki do:

Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik

Unifiability and Structural Completeness in Relation Algebras and in Products of Modal Logic S5

100%

Dzik W., Wróbel B., University of Silesia Institute of Mathematics B., wojciech.dzik@us.edu.pl, kenneb@interia.pl

Bulletin of the Section of Logic

2015

tom 44

nr 1-2

Unifiability of terms (and formulas) and structural completeness in the variety of relation algebras RA and in the products of modal logic S5 is investigated. Nonunifiable terms (formulas) which are satisfiable in varieties (in logics) are exhibited. Consequently, RA and products of S5 as well as representable diagonal-free n-dimensional cylindric algebras, RDfn, are almost structurally complete but not structurally complete. In case of S5n a basis for admissible rules and the form of all passive rules are provided.

Ograniczanie wyników

1 Bulletin of the Section of Logic

1 Dzik W.

1 University of Silesia Institute of Mathematics B.

1 Wróbel B.

1 kenneb@interia.pl

1 wojciech.dzik@us.edu.pl

1 2015

Wyniki wyszukiwania

Unifiability and Structural Completeness in Relation Algebras and in Products of Modal Logic S5