1. Intuitionistic sentential calculus with iden-tity

Bulletin of the Section of Logic 19 (3):92-99 (1990)
  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: 93,127

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 Note On Intuitionistic Sentential Calculus.Roman Suszko - 1974 - Bulletin of the Section of Logic 3 (1):20-21.
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.
An interpretation of the intuitionistic sentential calculus.K. Gödel - 1969 - In Jaakko Hintikka (ed.), The philosophy of mathematics. London,: Oxford University Press.
A Deontic Sentential Calculus Without Certain Paradoxes Of The Standard System.Leon Gumanski - 1975 - Bulletin of the Section of Logic 4 (2):74-76.
Intuitionistic system without contraction.G. Dardzania - 1977 - Bulletin of the Section of Logic 6 (1):2-6.
The Method of Axiomatic Rejection for the Intuitionistic Propositional Logic.Rafal Dutkiewicz - 1989 - Studia Logica 48 (4):449-459.
An Alternative Natural Deduction for the Intuitionistic Propositional Logic.Mirjana Ilić - 2016 - Bulletin of the Section of Logic 45 (1).
On combining intuitionistic and S4 modal logic.João Rasga & Cristina Sernadas - forthcoming - Bulletin of the Section of Logic.
Scott Dana. Completeness proofs for the intuitionistic sentential calculus. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 231–241. [REVIEW]Gene F. Rose - 1960 - Journal of Symbolic Logic 25 (4):351-351.

Analytics

Added to PP
2014-01-23

Downloads
53 (#309,508)

6 months
12 (#243,143)

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

Abolition of the Fregean Axiom.Roman Suszko - 1975 - Lecture Notes in Mathematics 453:169-239.
Investigations into the sentential calculus with identity.Roman Suszko & Stephen L. Bloom - 1972 - Notre Dame Journal of Formal Logic 13 (3):289-308.

Add more references