Algebraic semantics for the ‐fragment of and its properties

Mathematical Logic Quarterly 63 (3-4):202-210 (2017)
  Copy   BIBTEX

Abstract

We study the variety of equivalential algebras with zero and its subquasivariety that gives the equivalent algebraic semantics for the ‐fragment of intuitionistic propositional logic. We prove that this fragment is hereditarily structurally complete. Moreover, we effectively construct the finitely generated free equivalential algebras with zero.

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.201600046

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: 107,141

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 IPC.Katarzyna Słomczyńska - 2012 - Mathematical Logic Quarterly 58 (1-2):29-37.
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.
Basic properties of the equivalence.Jacek K. Kabziński - 1982 - Studia Logica 41 (1):17-40.
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.
Free Spectra of Linear Equivalential Algebras.Katarzyna Slomczyńska - 2005 - Journal of Symbolic Logic 70 (4):1341 - 1358.
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.
An Algebraic Study of S5-Modal Gödel Logic.Diego Castaño, Cecilia Cimadamore, José Patricio Díaz Varela & Laura Rueda - 2021 - Studia Logica 109 (5):937-967.
Pseudo equality algebras.Sándor Jenei & László Kóródi - 2013 - Archive for Mathematical Logic 52 (5-6):469-481.
Free Spectra of Equivalential Algebras with Conjunction on Dense Elements.Sławomir Przybyło & Katarzyna Słomczyńska - 2024 - Bulletin of the Section of Logic 53 (3):399-418.

Analytics

Added to PP
2017-10-29

Downloads
26 (#985,660)

6 months
4 (#1,135,291)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Fregean logics.J. Czelakowski & D. Pigozzi - 2004 - Annals of Pure and Applied Logic 127 (1-3):17-76.
Algebraic semantics for the (↔,¬¬)‐fragment of IPC.Katarzyna Słomczyńska - 2012 - Mathematical Logic Quarterly 58 (1-2):29-37.

View all 10 references / Add more references