PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2015 | 44 | 1-2 |
Tytuł artykułu

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

Treść / Zawartość
Warianty tytułu
Języki publikacji
Abstrakty
EN
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.
Rocznik
Tom
44
Numer
1-2
Opis fizyczny
Daty
wydano
2015
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
URI
http://hdl.handle.net/11089/17394
Identyfikator YADDA
bwmeta1.element.hdl_11089_17394
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ć.