Non-axiomatizable second order intuitionistic propositional logic

Annals of Pure and Applied Logic 86 (1):33-46 (1997)
  Copy   BIBTEX

Abstract

The second order intuitionistic propositional logic characterized by the class of all “principal” Kripke frames is non-recursively axiomatizable, as well as any logic of a class of principal Kripke frames containing every finite frame

Categories

Keywords

Reprint years

DOI

10.1016/s0168-0072(96)00034-6

Links

PhilArchive



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

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

A Syntactic Embedding of Predicate Logic into Second-Order Propositional Logic.Morten H. Sørensen & Paweł Urzyczyn - 2010 - Notre Dame Journal of Formal Logic 51 (4):457-473.
Irreflexive modality in the intuitionistic propositional logic and Novikov completeness.A. D. Yashin - 1999 - Journal of Philosophical Logic 28 (2):175-197.
On the complexity of propositional quantification in intuitionistic logic.Philip Kremer - 1997 - Journal of Symbolic Logic 62 (2):529-544.
A secondary semantics for Second Order Intuitionistic Propositional Logic.Mauro Ferrari, Camillo Fiorentini & Guido Fiorino - 2004 - Mathematical Logic Quarterly 50 (2):202-210.
On a second order propositional operator in intuitionistic logic.A. S. Troelstra - 1981 - Studia Logica 40 (2):113 - 139.
On second order intuitionistic propositional logic without a universal quantifier.Konrad Zdanowski - 2009 - Journal of Symbolic Logic 74 (1):157-167.
Model-theoretic characterization of intuitionistic propositional formulas.Grigory K. Olkhovikov - 2013 - Review of Symbolic Logic 6 (2):348-365.
Expressing Second-order Sentences in Intuitionistic Dependence Logic.Fan Yang - 2013 - Studia Logica 101 (2):323-342.
A weak intuitionistic propositional logic with purely constructive implication.Mitsuhiro Okada - 1987 - Studia Logica 46 (4):371 - 382.
Decidability of quantified propositional intuitionistic logic and s4 on trees of height and arity ≤ω.Richard Zach - 2004 - Journal of Philosophical Logic 33 (2):155-164.
Intuitionistic Completeness and Classical Logic.D. C. McCarty - 2002 - Notre Dame Journal of Formal Logic 43 (4):243-248.
The logic of bunched implications.Peter W. O'Hearn & David J. Pym - 1999 - Bulletin of Symbolic Logic 5 (2):215-244.
On the polynomial-space completeness of intuitionistic propositional logic.Vítězslav Švejdar - 2003 - Archive for Mathematical Logic 42 (7):711-716.

Analytics

Added to PP
2014-01-16

Downloads
34 (#458,553)

6 months
10 (#251,846)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A Note on Algebraic Semantics for S5 with Propositional Quantifiers.Wesley H. Holliday - 2019 - Notre Dame Journal of Formal Logic 60 (2):311-332.
Pitts' Quantifiers Are Not Topological Quantification.Tomasz Połacik - 1998 - Notre Dame Journal of Formal Logic 39 (4):531-544.

Add more citations

References found in this work

Propositional quantifiers in modal logic.Kit Fine - 1970 - Theoria 36 (3):336-346.

Add more references