- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Free equivalential algebras
Annals of Pure and Applied Logic 155 (2):86-96 (2008)
Abstract
We effectively construct the finitely generated free equivalential algebras corresponding to the equivalential fragment of intuitionistic propositional logicMy notes
Similar books and articles
Free Spectra of Linear Equivalential Algebras.Katarzyna Slomczyńska - 2005 - Journal of Symbolic Logic 70 (4):1341 - 1358.
Pseudo equality algebras.Sándor Jenei & László Kóródi - 2013 - Archive for Mathematical Logic 52 (5-6):469-481.
Free Łukasiewicz implication algebras.José Patricio Díaz Varela - 2008 - Archive for Mathematical Logic 47 (1):25-33.
Free Algebras in Varieties of Glivenko MTL-Algebras Satisfying the Equation 2(x²) = (2x)².Roberto Cignoli & Antoni Torrens Torrell - 2006 - Studia Logica 83 (1-3):157 - 181.
Algebraic semantics for the (↔,¬¬)‐fragment of IPC.Katarzyna Słomczyńska - 2012 - Mathematical Logic Quarterly 58 (1-2):29-37.
Decomposability of free Łukasiewicz implication algebras.Jose Patricio Díaz Varela & Antoni Torrens Torrell - 2006 - Archive for Mathematical Logic 45 (8):1011-1020.
Finitely generated free MV-algebras and their automorphism groups.Antonio Di Nola, Revaz Grigolia & Giovanni Panti - 1998 - Studia Logica 61 (1):65-78.
Finitely generated free Heyting algebras.Fabio Bellissima - 1986 - Journal of Symbolic Logic 51 (1):152-165.
Free nilpotent minimum algebras.Manuela Busaniche - 2006 - Mathematical Logic Quarterly 52 (3):219-236.
Bounded BCK‐algebras and their generated variety.Joan Gispert & Antoni Torrens - 2007 - Mathematical Logic Quarterly 53 (2):206-213.
Analytics
Added to PP
2013-12-26
Downloads
15 (#946,138)
6 months
8 (#359,856)
2013-12-26
Downloads
15 (#946,138)
6 months
8 (#359,856)
Historical graph of downloads
Citations of this work
Algebraic semantics for the (↔,¬¬)‐fragment of IPC.Katarzyna Słomczyńska - 2012 - Mathematical Logic Quarterly 58 (1-2):29-37.
Algebraic semantics for the ‐fragment of and its properties.Katarzyna Słomczyńska - 2017 - Mathematical Logic Quarterly 63 (3-4):202-210.
Equivalential Algebras with Conjunction on Dense Elements.Sławomir Przybyło & Katarzyna Słomczyńska - 2022 - Bulletin of the Section of Logic 51 (4):535-554.
References found in this work
A survey of abstract algebraic logic.J. M. Font, R. Jansana & D. Pigozzi - 2003 - Studia Logica 74 (1-2):13 - 97.
Fregean logics.J. Czelakowski & D. Pigozzi - 2004 - Annals of Pure and Applied Logic 127 (1-3):17-76.
Finitely generated free Heyting algebras.Fabio Bellissima - 1986 - Journal of Symbolic Logic 51 (1):152-165.
Frame Based Formulas for Intermediate Logics.Nick Bezhanishvili - 2008 - Studia Logica 90 (2):139-159.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-64dd777598-vk9kt uwo