Algebraic semantics for the (↔,¬¬)‐fragment of IPC

Mathematical Logic Quarterly 58 (1-2):29-37 (2012)
  Copy   BIBTEX

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 complete

Categories

Keywords

Reprint years

DOI

10.1002/malq.201110001

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 106,168

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

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.
Basic properties of the equivalence.Jacek K. Kabziński - 1982 - Studia Logica 41 (1):17-40.
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.
Algebraic Kripke sheaf semantics for non-classical predicate logics.Nobu-Yuki Suzuki - 1999 - Studia Logica 63 (3):387-416.

Analytics

Added to PP
2013-10-31

Downloads
43 (#578,341)

6 months
4 (#1,001,261)

Historical graph of downloads
How can I increase my 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.
On Rules.Rosalie Iemhoff - 2015 - Journal of Philosophical Logic 44 (6):697-711.

View all 6 citations / Add more citations

References found in this work

Free equivalential algebras.Katarzyna Słomczyńska - 2008 - Annals of Pure and Applied Logic 155 (2):86-96.
Axiomatizations of intuitionistic double negation.Milan Bozic & Kosta Došen - 1983 - Bulletin of the Section of Logic 12 (2):99-102.

View all 10 references / Add more references