| dc.contributor.author | Dzik, Wojciech | |
| dc.contributor.author | Wróbel, Beniamin | |
| dc.date.accessioned | 2016-03-13T12:06:48Z | |
| dc.date.available | 2016-03-13T12:06:48Z | |
| dc.date.issued | 2015 | |
| dc.identifier.issn | 0138-0680 | |
| dc.identifier.uri | http://hdl.handle.net/11089/17394 | |
| dc.description.abstract | 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. | pl_PL |
| dc.language.iso | en | pl_PL |
| dc.publisher | Wydawnictwo Uniwersytetu Łódzkiego | pl_PL |
| dc.relation.ispartofseries | Bulletin of the Section of Logic;1/2 | |
| dc.subject | admissible rules | pl_PL |
| dc.subject | passive rules | pl_PL |
| dc.subject | unification | pl_PL |
| dc.subject | projective unification | pl_PL |
| dc.subject | almost structural completeness | pl_PL |
| dc.subject | n-modal logic S5ⁿ | pl_PL |
| dc.subject | relation algebras | pl_PL |
| dc.subject | representable diagonal-free cylindric algebras | pl_PL |
| dc.title | Unifiability and Structural Completeness in Relation Algebras and in Products of Modal Logic S5 | pl_PL |
| dc.type | Article | pl_PL |
| dc.rights.holder | © Copyright by Uniwersytet Łódzki, Łódź 2015 | pl_PL |
| dc.page.number | 1-14 | pl_PL |
| dc.contributor.authorAffiliation | University of Silesia Institute of Mathematics, Bankowa 12, 40 007 Katowice, Poland. | pl_PL |
| dc.identifier.eissn | 2449-836X | |
| dc.references | Andreka H., Maddux R., Representations for Small Relation Algebras, Notre Dame Journal of Formal Logic 35 (4),(1994), pp. 550–562. | pl_PL |
| dc.references | Baader F., Ghilardi S., Unification in Modal and Description Logics, Logic Journal of the IGPL, vol. 19 (6), (2011), pp. 705–730. | pl_PL |
| dc.references | Baader F., Snyder W., Unification Theory, [in:] A. Robinson, A. Voronkov, (eds.) Handbook of Automated Reasoning, Elsevier Science Publisher, 2001. | pl_PL |
| dc.references | Burris S., Discriminator Varieties and Symbolic Computation, Journal of Symbolic Computation, Volume 13 (1992), pp. 175-207. | pl_PL |
| dc.references | Dzik W., Unification Types in Logic, Silesian University Press, Katowice 2007. | pl_PL |
| dc.references | Dzik W., Remarks on projective unifiers, Bulletin of the Section of Logic 40:1/2 (2011), pp. 37–46. | pl_PL |
| dc.references | Dzik W., Wojtylak P., Projective Unification in Modal Logic, Logic Journal of the IGPL 20(1), (2012), pp. 121–153. | pl_PL |
| dc.references | Dzik W., Wojtylak P., Modal consequence relations extending S4.3, Notre Dame Journal of Formal Logic, 2015 (in print). | pl_PL |
| dc.references | Gabbay D. M., Kurucz A., Wolter F., Zakharyaschev M., Manydimensional Modal Logic, Elsevier Science Publisher, 2003. | pl_PL |
| dc.references | Ghilardi S., Unification through Projectivity, Journal of Symbolic Computation 7 (1997), pp. 733–752. | pl_PL |
| dc.references | Ghilardi S., Unification in Intuitionistic Logic, Journal of Symbolic Logic 64(2), (1999), pp. 859–880. | pl_PL |
| dc.references | Ghilardi S., Best Solving Modal Equations, Annals of Pure and Applied Logic 102 (2000), pp. 183–198. | pl_PL |
| dc.references | Henkin L., Monk J., Tarski A., Cylindric algebras. Part II, The foundations of Mathematics, Volume 115, Elsevier Science Publishers (1985). | pl_PL |
| dc.references | Hirsch R., Hodkinson I., Relation Algebras by Games, North-Holland, 2002. | pl_PL |
| dc.references | Maddux R. D., Relation Algebras, Elsevier Science Publishers (2006). | pl_PL |
| dc.references | Pogorzelski W. A. and Wojtylak P., Completeness theory for propositional logics, Studies in Universal Logic, Birkhäuser, Bassel-Boston-Berlin (2008). | pl_PL |
| dc.references | Rybakov V. V., Admissible Rules for Logics Containing S4.3, Sibirski Math. Journal 25 (1984), pp. 141–145. | pl_PL |
| dc.references | Rybakov V. V., Terziler M., Gencer C., An essay on unification and inference rules for modal logics, Bulletin of the Section of Logic 28 (1999), pp. 145–157. | pl_PL |
| dc.references | Rybakov V. V., Terziler M., Gencer C., Unification and passive inference rules for modal logics, Journal of Applied Non-Classical Logics 10 (2000), pp. 369–377. | pl_PL |
| dc.references | Tarski A., On the calculus of relations, Journal of Symbolic Logic 6(1941), pp. 73–89. | pl_PL |
| dc.contributor.authorEmail | wojciech.dzik@us.edu.pl | pl_PL |
| dc.contributor.authorEmail | kenneb@interia.pl | pl_PL |
| dc.relation.volume | 44 | pl_PL |
