A Note On Intuitionistic Sentential Calculus

Bulletin of the Section of Logic 3 (1):20-21 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

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

My notes

Similar books and articles

1. Intuitionistic sentential calculus with iden-tity.Intuitionistic Sentential Calculus - 1990 - Bulletin of the Section of Logic 19 (3):92-99.
An interpretation of the intuitionistic sentential calculus.K. Gödel - 1969 - In Jaakko Hintikka (ed.), The Philosophy of Mathematics. London: Oxford University Press.
Completeness Proofs for the Intuitionistic Sentential Calculus.Dana Scott - 1960 - Journal of Symbolic Logic 25 (4):351-351.
Review: Dana Scott, Completeness Proofs for the Intuitionistic Sentential Calculus. [REVIEW]Gene F. Rose - 1960 - Journal of Symbolic Logic 25 (4):351-351.
Identity, many-valuedness and referentiality.Grzegorz Malinowski - 2013 - Logic and Logical Philosophy 22 (4):375-387.
Intuitionistic system without contraction.G. Dardzania - 1977 - Bulletin of the Section of Logic 6 (1):2-6.
Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic.Linda Postniece - unknown
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.
Sentential calculus with identity (SCI) and G-theories.Roman Suszko - 1971 - Journal of Symbolic Logic 36:709-710.
Semantics for the sentential calculus with identity.Stephen L. Bloom & Roman Suszko - 1971 - Studia Logica 28 (1):77 - 82.
Adequate models for the non-Fregean sentential calculus (SCI).Roman Suszko - 1973 - In Radu J. Bogdan & Ilkka Niiniluoto (eds.), Logic, Language, and Probability. Boston: D. Reidel Pub. Co.. pp. 49--54.
Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents.Rajeev Goré, Linda Postniece & Alwen Tiu - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 43-66.

Analytics

Added to PP
2015-02-02

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
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