Opis

• Tytuł:
  Unifiability and Structural Completeness in Relation Algebras and in Products of Modal Logic S5
• Twórca:
  Dzik, Wojciech;
  Wróbel, Beniamin
• Współtwórca:
  University of Silesia Institute of Mathematics, Bankowa 12, 40 007 Katowice, Poland.;
  wojciech.dzik@us.edu.pl;
  kenneb@interia.pl
• Opis:
  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 S5ⁿ a basis for admissible rules and the form of all passive rules are provided.
• Dostępność obiektu:
  Dostęp otwarty
• Prawa:
  © Copyright by Uniwersytet Łódzki, Łódź 2015
• Data:
  2016.03.13;
  2015
• Typ:
  Article
• Język:
  angielski
• Format:
  application/pdf
• Wydawca:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relacja:
  Bulletin of the Section of Logic;1/2;
  44
• Temat i słowa kluczowe:
  admissible rules;
  passive rules;
  unification;
  projective unification;
  almost structural completeness;
  n-modal logic S5ⁿ;
  relation algebras;
  representable diagonal-free cylindric algebras
• Identyfikator:
  0138-0680;
  http://hdl.handle.net/11089/17394 ;
  2449-836X
• Dostawca danych:
  Repozytorium Uniwersytetu Łódzkiego
• Czy mogę z tego obiektu skorzystać?:
  poproś o pozwolenie
• Rodzaj zawartości:
  obrazy