On formulas of one variable in intuitionistic propositional calculus

Journal of Symbolic Logic 25 (4):327-331 (1960)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2963526

Other Versions

No versions found

Links

PhilArchive

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

M. A. E. Dummett and E. J. Lemmon. Modal logics between S4 and S5. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 5 , pp. 250–264. - Iwao Nishimura. On formulas of one variable in intuitionistic propositional calculus. The journal of symbolic logic, vol. 25 No. 4 , pp. 327–331. - D. C. Makinson. There are infinitely many Diodorean modal functions. The journal of symbolic logic, vol. 31 , pp. 406–408. [REVIEW]A. N. Prior - 1967 - Journal of Symbolic Logic 32 (3):396-397.
The method of axiomatic rejection for the intuitionistic propositional logic.Rafal Dutkiewicz - 1989 - Studia Logica 48 (4):449-459.
The diagrams of formulas of the intuitionistic propositional calculus.Anita Wasilewska - 1973 - Studia Logica 32 (1):109 - 115.
An application of the Rieger-Nishimura formulas to the intuitionistic modal logics.Dimiter Vakarelov - 1984 - Bulletin of the Section of Logic 13 (3):120-122.
On the computational content of intuitionistic propositional proofs.Samuel R. Buss & Pavel Pudlák - 2001 - Annals of Pure and Applied Logic 109 (1-2):49-64.
On the Intuitionistic Propositional Calculus.John Dawson & A. S. Troelstra - 1990 - Journal of Symbolic Logic 55 (1):344-344.
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.
Propositional Quantification in the Monadic Fragment of Intuitionistic Logic.Tomasz Połacik - 1998 - Journal of Symbolic Logic 63 (1):269-300.
Remarks on uniform interpolation property.Majid Alizadeh - 2024 - Logic Journal of the IGPL 32 (5):810-814.
Extendible Formulas in Two Variables in Intuitionistic Logic.Nick Bezhanishvili & Dick de Jongh - 2012 - Studia Logica 100 (1-2):61-89.

Analytics

Added to PP
2009-01-28

Downloads
334 (#135,461)

6 months
20 (#557,006)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Theory of Logical Calculi: Basic Theory of Consequence Operations.Ryszard Wójcicki - 1988 - Dordrecht, Boston and London: Kluwer Academic Publishers.
Proof Theory and Algebra in Logic.Hiroakira Ono - 2019 - Singapore: Springer Singapore.
Contra-classical logics.Lloyd Humberstone - 2000 - Australasian Journal of Philosophy 78 (4):438 – 474.

View all 46 citations / Add more citations

References found in this work

No references found.

Add more references