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

Links

PhilArchive



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

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 modal calculus analogous to k4w, based on intuitionistic propositional logic, iℴ.Aldo Ursini - 1979 - Studia Logica 38 (3):297 - 311.
Statistics of intuitionistic versus classical logics.Zofia Kostrzycka & Marek Zaionc - 2004 - Studia Logica 76 (3):307 - 328.
The diagrams of formulas of the intuitionistic propositional calculus.Anita Wasilewska - 1973 - Studia Logica 32 (1):109 - 115.
On the period of sequences (an(p)) in intuitionistic propositional calculus.Wim Ruitenburg - 1984 - Journal of Symbolic Logic 49 (3):892 - 899.
Metalogic of Intuitionistic Propositional Calculus.Alex Citkin - 2010 - Notre Dame Journal of Formal Logic 51 (4):485-502.
Second order propositional operators over Cantor space.Tomasz Połacik - 1994 - Studia Logica 53 (1):93 - 105.
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.

Analytics

Added to PP
2009-01-28

Downloads
247 (#81,143)

6 months
31 (#104,787)

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.
Contra-classical logics.Lloyd Humberstone - 2000 - Australasian Journal of Philosophy 78 (4):438 – 474.

View all 37 citations / Add more citations

References found in this work

No references found.

Add more references