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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,758

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 deductive systems.W. J. Blok & J. Rebagliato - 2003 - Studia Logica 74 (1-2):153 - 180.
Algebraic Semantics for Deductive Systems.W. Blok & J. Rebagliato - 2003 - Studia Logica 74 (1-2):153-180.
Equivalential logics.Janusz Czelakowski - 1980 - Bulletin of the Section of Logic 9 (3):108-113.
Algebraic Kripke sheaf semantics for non-classical predicate logics.Nobu-Yuki Suzuki - 1999 - Studia Logica 63 (3):387-416.
Algebraic Kripke-Style Semantics for Relevance Logics.Eunsuk Yang - 2014 - Journal of Philosophical Logic 43 (4):803-826.
Distinguished algebraic semantics for t -norm based fuzzy logics: Methods and algebraic equivalencies.Petr Cintula, Francesc Esteva, Joan Gispert, Lluís Godo, Franco Montagna & Carles Noguera - 2009 - Annals of Pure and Applied Logic 160 (1):53-81.
Kripke-style semantics for many-valued logics.Franco Montagna & Lorenzo Sacchetti - 2003 - Mathematical Logic Quarterly 49 (6):629.
On the Semantics of the Perfective Aspect.Mona Singh - 1998 - Natural Language Semantics 6 (2):171-199.
Categorical Abstract Algebraic Logic: Algebraic Semantics for (documentclass{article}usepackage{amssymb}begin{document}pagestyle{empty}$bf{pi }$end{document})‐Institutions.George Voutsadakis - 2013 - Mathematical Logic Quarterly 59 (3):177-200.
Revision algebra semantics for conditional logic.John Pais - 1992 - Studia Logica 51 (2):279 - 316.
Sémantique de type Kripke d'un système logique basé sur un ensemble ordonné fini.Abir Nour - 2000 - Mathematical Logic Quarterly 46 (3):417-432.
Semantics For First Degree Relatedness Logic.Francesco Paoli - 1993 - Reports on Mathematical Logic:81-94.
Intersecting a plane with algebraic subgroups of multiplicative groups.Enrico Bombieri, David Masser & Umberto Zannier - 2008 - Annali della Scuola Normale Superiore di Pisa- Classe di Scienze 7 (1):51-80.
On polynomial semantics for propositional logics.Juan C. Agudelo-Agudelo, Carlos A. Agudelo-González & Oscar E. García-Quintero - 2016 - Journal of Applied Non-Classical Logics 26 (2):103-125.

Analytics

Added to PP
2017-10-29

Downloads
20 (#787,382)

6 months
9 (#351,255)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

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