- 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
Algebraic semantics for the (↔,¬¬)‐fragment of IPC
Mathematical Logic Quarterly 58 (1-2):29-37 (2012)
Abstract
We show that the variety of equivalential algebras with regularization gives the algebraic semantics for the -fragment of intuitionistic propositional logic. We also prove that this fragment is hereditarily structurally completeOther Versions
No versions found
My notes
Similar books and articles
Algebraic semantics for the ‐fragment of and its properties.Katarzyna Słomczyńska - 2017 - Mathematical Logic Quarterly 63 (3-4):202-210.
Algebraic Semantics for a Mixed Type Fragment of IPC.Eryk Lipka & Katarzyna Słomczyńska - forthcoming - Studia Logica:1-25.
Free equivalential algebras.Katarzyna Słomczyńska - 2008 - Annals of Pure and Applied Logic 155 (2):86-96.
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.
The finite model property for the implicational fragment of IPC without exchange and contraction.C. van Alten & J. Raftery - 1999 - Studia Logica 63 (2):213-222.
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.
Equivalential fragment of the infinite valued logic of Lukasiewicz and the intermediate logics.Piotr Krzystek - 1980 - Bulletin of the Section of Logic 9 (4):170-174.
Pretabular Varieties Of Equivalential Algebras.Tomasz Kowalski - 1999 - Reports on Mathematical Logic:3-10.
Analytics
Added to PP
2013-10-31
Downloads
40 (#560,724)
6 months
3 (#1,470,822)
2013-10-31
Downloads
40 (#560,724)
6 months
3 (#1,470,822)
Historical graph of downloads
Citations of this work
Almost structural completeness; an algebraic approach.Wojciech Dzik & Michał M. Stronkowski - 2016 - Annals of Pure and Applied Logic 167 (7):525-556.
Hereditarily Structurally Complete Superintuitionistic Deductive Systems.Alex Citkin - 2018 - Studia Logica 106 (4):827-856.
Algebraic semantics for the ‐fragment of and its properties.Katarzyna Słomczyńska - 2017 - Mathematical Logic Quarterly 63 (3-4):202-210.
Algebraic Logic Perspective on Prucnal’s Substitution.Alex Citkin - 2016 - Notre Dame Journal of Formal Logic 57 (4):503-521.
References found in this work
Admissible rules in the implication–negation fragment of intuitionistic logic.Petr Cintula & George Metcalfe - 2010 - Annals of Pure and Applied Logic 162 (2):162-171.
Structural Completeness in Substructural Logics.J. S. Olson, J. G. Raftery & C. J. Van Alten - 2008 - Logic Journal of the IGPL 16 (5):453-495.
Free equivalential algebras.Katarzyna Słomczyńska - 2008 - Annals of Pure and Applied Logic 155 (2):86-96.
An Approach to Glivenko’s Theorem in Algebraizable Logics.Antoni Torrens - 2008 - Studia Logica 88 (3):349-383.
Axiomatizations of intuitionistic double negation.Milan Bozic & Kosta Došen - 1983 - Bulletin of the Section of Logic 12 (2):99-102.
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-559df78dcc-ppxv8 uwo