On some non-classical extensions of second-order intuitionistic propositional calculus

Annals of Pure and Applied Logic 27 (2):155-164 (1984)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(84)90010-1

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

On the period of sequences (an(p)) in intuitionistic propositional calculus.Wim Ruitenburg - 1984 - Journal of Symbolic Logic 49 (3):892 - 899.
On superintuitionistic logics as fragments of proof logic extensions.A. V. Kuznetsov & A. Yu Muravitsky - 1986 - Studia Logica 45 (1):77 - 99.
An algebraic approach to intuitionistic connectives.Xavier Caicedo & Roberto Cignoli - 2001 - Journal of Symbolic Logic 66 (4):1620-1636.
A secondary semantics for Second Order Intuitionistic Propositional Logic.Mauro Ferrari, Camillo Fiorentini & Guido Fiorino - 2004 - Mathematical Logic Quarterly 50 (2):202-210.
Description of all functions definable by formulæ of the 2nd order intuitionistic propositional calculus on some linear Heyting algebras.Dimitri Pataraia - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):457-483.
A proof-search procedure for intuitionistic propositional logic.R. Alonderis - 2013 - Archive for Mathematical Logic 52 (7-8):759-778.
A modal calculus analogous to k4w, based on intuitionistic propositional logic, iℴ.Aldo Ursini - 1979 - Studia Logica 38 (3):297 - 311.
Undecidability of the Problem of Recognizing Axiomatizations of Superintuitionistic Propositional Calculi.Evgeny Zolin - 2014 - Studia Logica 102 (5):1021-1039.
The modalized Heyting calculus: a conservative modal extension of the Intuitionistic Logic ★.Leo Esakia - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):349-366.
Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic.Paolo Torrini, John G. Stell & Brandon Bennett - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):495-525.
Atomic polymorphism.Fernando Ferreira & Gilda Ferreira - 2013 - Journal of Symbolic Logic 78 (1):260-274.
On second order intuitionistic propositional logic without a universal quantifier.Konrad Zdanowski - 2009 - Journal of Symbolic Logic 74 (1):157-167.
On an interpretation of second order quantification in first order intuitionistic propositional logic.Andrew M. Pitts - 1992 - Journal of Symbolic Logic 57 (1):33-52.
A Finite Hilbert‐Style Axiomatization of the Implication‐Less Fragment of the Intuitionistic Propositional Calculus.Jordi Rebagliato & Ventura Verdú - 1994 - Mathematical Logic Quarterly 40 (1):61-68.

Analytics

Added to PP
2014-01-16

Downloads
19 (#778,470)

6 months
6 (#504,917)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Pitts' Quantifiers Are Not Topological Quantification.Tomasz Połacik - 1998 - Notre Dame Journal of Formal Logic 39 (4):531-544.
Propositional Quantification in the Topological Semantics for S.Philip Kremer - 1997 - Notre Dame Journal of Formal Logic 38 (2):295-313.

Add more citations

References found in this work

Constructive set theory.John Myhill - 1975 - Journal of Symbolic Logic 40 (3):347-382.
Sheaves and Logic.M. P. Fourman, D. S. Scott & C. J. Mulvey - 1983 - Journal of Symbolic Logic 48 (4):1201-1203.
An interpretation of intuitionistic analysis.D. van Dalen - 1978 - Annals of Mathematical Logic 13 (1):1.
A Topological Model for Intuitionistic Analysis with Kripke's Scheme.M. D. Krol - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (25-30):427-436.
A Topological Model for Intuitionistic Analysis with Kripke's Scheme.M. D. Krol - 1978 - Mathematical Logic Quarterly 24 (25‐30):427-436.

Add more references