Intuitionistic logic and implicit definability

Annals of Pure and Applied Logic 105 (1-3):83-102 (2000)
  Copy   BIBTEX

Abstract

It is proved that there are exactly 16 superintuitionistic propositional logics with the projective Beth property. These logics are finitely axiomatizable and have the finite model property. Simultaneously, all varieties of Heyting algebras with strong epimorphisms surjectivity are found

Categories

Keywords

Reprint years

DOI

10.1016/s0168-0072(99)00049-4

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,045

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

Epimorphism surjectivity in varieties of Heyting algebras.T. Moraschini & J. J. Wannenburg - 2020 - Annals of Pure and Applied Logic 171 (9):102824.
Projective Beth Property in Extensions of Grzegorczyk Logic.Larisa Maksimova - 2006 - Studia Logica 83 (1):365-391.
Algebraic characterizations of various Beth definability properties.Eva Hoogland - 2000 - Studia Logica 65 (1):91-112.
Varieties of monadic Heyting algebras. Part I.Guram Bezhanishvili - 1998 - Studia Logica 61 (3):367-402.
Problem of restricted interpolation in superintuitionistic and some modal logics.Larisa Maksimova - 2010 - Logic Journal of the IGPL 18 (3):367-380.
Locally Finite Reducts of Heyting Algebras and Canonical Formulas.Guram Bezhanishvili & Nick Bezhanishvili - 2017 - Notre Dame Journal of Formal Logic 58 (1):21-45.
A(nother) characterization of intuitionistic propositional logic.Rosalie Iemhoff - 2001 - Annals of Pure and Applied Logic 113 (1-3):161-173.
The Beth Property in Algebraic Logic.W. J. Blok & Eva Hoogland - 2006 - Studia Logica 83 (1-3):49-90.
Beth Definability in the Logic KR.Jacob Garber - 2021 - In Ivo Düntsch & Edwin Mares (eds.), Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs. Springer Verlag. pp. 213-224.
On some Classes of Heyting Algebras with Successor that have the Amalgamation Property.José L. Castiglioni & Hernán J. San Martín - 2012 - Studia Logica 100 (6):1255-1269.

Analytics

Added to PP
2014-01-16

Downloads
29 (#539,221)

6 months
15 (#233,221)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The Beth Property in Algebraic Logic.W. J. Blok & Eva Hoogland - 2006 - Studia Logica 83 (1-3):49-90.
Epimorphism surjectivity in varieties of Heyting algebras.T. Moraschini & J. J. Wannenburg - 2020 - Annals of Pure and Applied Logic 171 (9):102824.

View all 11 citations / Add more citations

References found in this work

A propositional calculus with denumerable matrix.Michael Dummett - 1959 - Journal of Symbolic Logic 24 (2):97-106.
On Padoa's Method in the Theory of Definition. [REVIEW]William Craig - 1956 - Journal of Symbolic Logic 21 (2):194-195.

Add more references