Abstract
The twist-structure construction is used to represent algebras related to non-classical logics (e.g., Nelson algebras, bilattices) as a special kind of power of better-known algebraic structures (distributive lattices, Heyting algebras). We study a specific type of twist-structure (called implicative twist-structure) obtained as a power of a generalized Boolean algebra, focusing on the implication-negation fragment of the usual algebraic language of twist-structures. We prove that implicative twist-structures form a variety which is semisimple, congruence-distributive, finitely generated, and has equationally definable principal congruences. We characterize the congruences of each algebra in the variety in terms of the congruences of the associated generalized Boolean algebra. We classify and axiomatize the subvarieties of implicative twist-structures. We define a corresponding logic and prove that it is algebraizable with respect to our variety.
Similar content being viewed by others
References
Abad M., Díaz Varela J.P., Torrens A.: Topological representation for implication algebras. Algebra Universalis 52, 39–48 (2004)
Almukdad A., Nelson D.: Constructible falsity and inexact predicates. J. Symb. Logic 49, 231–233 (1984)
Arieli O., Avron A.: Reasoning with logical bilattices. J. Log. Lang. Inf. 5, 25–63 (1996)
Blok W.J., Pigozzi D.: On the structure of varieties with equationally definable principal congruences I. Algebra Universalis 15, 195–227 (1982)
Blok, W.J., Pigozzi, D.: Algebraizable logics. Mem. Amer. Math. Soc., vol. 396. A.M.S., Providence (1989)
Blok W.J., Pigozzi D.: On the structure of varieties with equationally definable principal congruences III. Algebra Universalis 32, 545–608 (1994)
Bou F., Jansana R., Rivieccio U.: Varieties of interlaced bilattices. Algebra Universalis 66, 115–141 (2011)
Bou F., Rivieccio U.: The logic of distributive bilattices. Log. J. IGPL 19, 183–216 (2011)
Bou F., Rivieccio U.: Bilattices with implications. Studia Logica 101, 651–675 (2013)
Burris, S., Sankappanavar, H.P.: A course in Universal Algebra. The millennium edition, (2000)
Busaniche M., Cignoli R.: Residuated lattices as an algebraic semantics for paraconsistent Nelson’s logic. J. Logic Comput. 19, 1019–1029 (2009)
Busaniche M., Cignoli R.: Constructive logic with strong negation as a substructural logic. J. Logic Comput. 20, 761–793 (2010)
Celani S.A., Cabrer L.M.: Topological duality for Tarski algebras. Algebra Universalis 58, 73–94 (2008)
Celani S.A., Cabrer L.M., Montangie D.: Representation and duality for Hilbert algebras. Cent. Eur. J. Math. 7, 463–478 (2009)
Clark, D.M., Davey, B.A.: Natural dualities for the working algebraist. Cambridge Stud. Adv. Math., vol. 57. Cambridge University Press, Cambridge (1998)
Curry, H.B.: Foundations of mathematical logic. Dover, New York (1977)
Figallo A.V., Landini P.: On generalized I-algebras and 4-valued modal algebras. Rep. Math. Logic 29, 3–18 (1995)
Galatos, N., Jipsen, P., Kowalski, T., Ono, H.: Residuated Lattices: an algebraic glimpse at substructural logics. Stud. Logic Found. Math., vol. 151. Elsevier, Amsterdam (2007)
Jansana R., Rivieccio U.: Residuated bilattices. Soft Comput. 16, 493–504 (2012)
Jung, A., Rivieccio, U.: Kripke semantics for modal bilattice logics. Proc. 28th IEEE Annual Symp. on Logic in Computer Science, 438–447 (2013)
Kogabaev N.T.: Universal numbering for constructive I-algebras. Algebra Logic 40, 315–326 (2001)
Mobasher B., Pigozzi D., Slutzki G., Voutsadakis G.: A duality theory for bilattices. Algebra Universalis 43, 109–125 (2000)
Movsisyan, Y.M., Romanowska, A.B., Smith, J.D.H.: Superproducts, hyperidentities, and algebraic structures of logic programming. J. Combin. Math. Combin. Comput. 58, 101–111 (2006)
Nelson D.: Constructible falsity. J. Symb. Logic 14, 16–2 (1949)
Odintsov S.P.: On the representation of N4-lattices. Studia Logica 76, 385–405 (2004)
Odintsov S.P., Latkin E.I.: BK-lattices. Algebraic semantics for Belnapian modal logics. Studia Logica 100, 319–338 (2012)
Odintsov S.P., Wansing H.: Modal logics with Belnapian truth values. J. Appl. Non-Classical Logics 20, 279–301 (2010)
Ono, H., Rivieccio, U.: Modal twist-structures over residuated lattices. Log. J. IGPL, DOI:10.1093/jigpal/jzt043 (2013)
Rivieccio. U.: An Algebraic Study of Bilattice-based Logics. PhD thesis, University of Barcelona (2010)
Rivieccio U.: Paraconsistent modal logics. Electron. Notes Theor. Comput. Sci. 278, 173–186 (2011)
Sendlewski A.: Nelson algebras through Heyting ones: I. Studia Logica 49, 105–126 (1990)
Tsinakis C., Wille A.M.: Minimal varieties of involutive residuated lattices. Studia Logica 83, 407–423 (2006)
Vakarelov D.: Notes on N-lattices and constructive logic with strong negation. Studia Logica 36, 109–125 (1977)
Díaz Varela J.P., Torrens A.: Decomposability of free Tarski algebras. Algebra Universalis 50, 1–5 (2003)
Wójcicki, R.: Theory of logical calculi. Basic theory of consequence operations. Synth. Libr., vol. 199. Reidel, Dordrecht, (1988)
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by J. Raftery.
The research leading to these results has received funding from the People Programme (Marie Curie Actions) of the European Unions Seventh Framework Programme (FP7/2007-2013) under REA grant agreement PIEF-GA-2010-272737 and from Vidi grant 016.138.314 of the Netherlands Organization for Scientific Research (NWO).
Rights and permissions
About this article
Cite this article
Rivieccio, U. Implicative twist-structures. Algebra Univers. 71, 155–186 (2014). https://doi.org/10.1007/s00012-014-0272-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00012-014-0272-5