Completeness of intuitionistic propositional calculus

Abstract

An assignment is a function f that assigns subsets of N to some atoms. Then f is extended to f* which sends every formula A of HPC to a subset of S(A).

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,757

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

The completeness of intuitionistic propositional calculus for its intended interpretation.John P. Burgess - 1981 - Notre Dame Journal of Formal Logic 22 (1):17-28.
Dynamic Topological Completeness for.David Fernandez Duque - 2007 - Logic Journal of the IGPL 15 (1):77-107.
(A, F ) choice with frames.Ariel Rubinstein - manuscript
Countably perfectly Meager sets.Roman Pol & Piotr Zakrzewski - 2021 - Journal of Symbolic Logic 86 (3):1214-1227.
Arithmetical interpretations of dynamic logic.Petr Hájek - 1983 - Journal of Symbolic Logic 48 (3):704-713.
Degrees of Unsolvability of Continuous Functions.Joseph S. Miller - 2004 - Journal of Symbolic Logic 69 (2):555 - 584.
Enumerations of the Kolmogorov Function.Richard Beigel, Harry Buhrman, Peter Fejer, Lance Fortnow, Piotr Grabowski, Luc Longpré, Andrej Muchnik, Frank Stephan & Leen Torenvliet - 2006 - Journal of Symbolic Logic 71 (2):501 - 528.
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.
η- conversions of IPC implemented in atomic F.Gilda Ferreira - 2017 - Logic Journal of the IGPL 25 (2):115-130.
Hypergraphs And The Intuitionistic Propositional Calculus.Adam Kolany - 1993 - Reports on Mathematical Logic:55-66.

Analytics

Added to PP
2009-01-28

Downloads
184 (#132,408)

6 months
184 (#18,804)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references