Unification in Intuitionistic Logic

Journal of Symbolic Logic 64 (2):859-880 (1999)
  Copy   BIBTEX

Abstract

We show that the variety of Heyting algebras has finitary unification type. We also show that the subvariety obtained by adding it De Morgan law is the biggest variety of Heyting algebras having unitary unification type. Proofs make essential use of suitable characterizations of finitely presented projective algebras.

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

  • This entry has no external links. Add one.
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

Unification in intuitionistic logic.Silvio Ghilardi - 1999 - Journal of Symbolic Logic 64 (2):859-880.
Unification, finite duality and projectivity in varieties of Heyting algebras.Silvio Ghilardi - 2004 - Annals of Pure and Applied Logic 127 (1-3):99-115.
Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras.Vincenzo Marra & Luca Spada - 2013 - Annals of Pure and Applied Logic 164 (3):192-210.
Gentzen-Style Sequent Calculus for Semi-intuitionistic Logic.Diego Castaño & Juan Manuel Cornejo - 2016 - Studia Logica 104 (6):1245-1265.
On Some Semi-Intuitionistic Logics.Juan M. Cornejo & Ignacio D. Viglizzo - 2015 - Studia Logica 103 (2):303-344.
An algebraic approach to subframe logics. Intuitionistic case.Guram Bezhanishvili & Silvio Ghilardi - 2007 - Annals of Pure and Applied Logic 147 (1):84-100.
The Semi Heyting–Brouwer Logic.Juan Manuel Cornejo - 2015 - Studia Logica 103 (4):853-875.
Filtering unification and most general unifiers in modal logic.Silvio Ghilardi & Lorenzo Sacchetti - 2004 - Journal of Symbolic Logic 69 (3):879-906.
Semi-intuitionistic Logic.Juan Manuel Cornejo - 2011 - Studia Logica 98 (1-2):9-25.
Modal Consequence Relations Extending $mathbf{S4.3}$: An Application of Projective Unification.Wojciech Dzik & Piotr Wojtylak - 2016 - Notre Dame Journal of Formal Logic 57 (4):523-549.
Varieties of monadic Heyting algebras. Part I.Guram Bezhanishvili - 1998 - Studia Logica 61 (3):367-402.
Best solving modal equations.Silvio Ghilardi - 2000 - Annals of Pure and Applied Logic 102 (3):183-198.
Unification on Subvarieties of Pseudocomplemented Distributive Lattices.Leonardo Cabrer - 2016 - Notre Dame Journal of Formal Logic 57 (4):477-502.
Unification in some Substructural Logics of BL-algebras and Hoops.Wojciech Dzik - 2008 - Reports on Mathematical Logic.
Modalities as interactions between the classical and the intuitionistic logics.Michał Walicki - 2006 - Logic and Logical Philosophy 15 (3):193-215.

Analytics

Added to PP
2017-02-21

Downloads
5 (#1,510,250)

6 months
1 (#1,510,037)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Complexity of admissible rules.Emil Jeřábek - 2007 - Archive for Mathematical Logic 46 (2):73-92.
Intermediate Logics and Visser's Rules.Rosalie Iemhoff - 2005 - Notre Dame Journal of Formal Logic 46 (1):65-81.
Independent bases of admissible rules.Emil Jerábek - 2008 - Logic Journal of the IGPL 16 (3):249-267.
KD is nullary.Philippe Balbiani & Çiğdem Gencer - 2017 - Journal of Applied Non-Classical Logics 27 (3-4):196-205.
On Rules.Rosalie Iemhoff - 2015 - Journal of Philosophical Logic 44 (6):697-711.

View all 23 citations / Add more citations

References found in this work

No references found.

Add more references