Skip navigation

Zastosuj identyfikator do podlinkowania lub zacytowania tej pozycji: http://hdl.handle.net/20.500.12128/16051
Pełny rekord metadanych
DC poleWartośćJęzyk
dc.contributor.authorDzik, Wojciech-
dc.contributor.authorWróbel, Beniamin-
dc.date.accessioned2020-09-22T06:25:27Z-
dc.date.available2020-09-22T06:25:27Z-
dc.date.issued2015-
dc.identifier.citationBulletin of the Section of Logic, Vol. 44 no. 1/2 (2015), s. 1-14pl_PL
dc.identifier.issn2449-836X-
dc.identifier.issn0138-0680-
dc.identifier.urihttp://hdl.handle.net/20.500.12128/16051-
dc.description.abstractUnifiability of terms (and formulas) and structural completeness in the variety of relation algebras RA and in the products of modal logic S5 is investigated. Non- unifiable 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.pl_PL
dc.language.isoenpl_PL
dc.rightsUznanie autorstwa-Użycie niekomercyjne-Bez utworów zależnych 3.0 Polska*
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/3.0/pl/*
dc.subjectadmissible rulespl_PL
dc.subjectpassive rulespl_PL
dc.subjectunificationpl_PL
dc.subjectprojective unificationpl_PL
dc.subjectalmost structural completenesspl_PL
dc.subjectn-modal logic S5npl_PL
dc.subjectrelation algebraspl_PL
dc.subjectrepresentable diagonal-free cylindric algebraspl_PL
dc.titleUnifiability and structural completeness in relation algebras and in products of modal logic S5pl_PL
dc.typeinfo:eu-repo/semantics/articlepl_PL
Pojawia się w kolekcji:Artykuły (WNŚiT)

Pliki tej pozycji:
Plik Opis RozmiarFormat 
Dzik_Unifiability_and_structural.pdf409,15 kBAdobe PDFPrzejrzyj / Otwórz
Pokaż prosty rekord


Uznanie autorstwa - użycie niekomercyjne, bez utworów zależnych 3.0 Polska Creative Commons Creative Commons