A Note on Götlind's Axiom System for the Calculus of Propositions

&
Journal of Symbolic Logic 17 (1):66-67 (1952)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2267476

Links

PhilArchive



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

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

Review: R. K. P. Singh, R. Shukla, A Note on Gotlind's Axiom System for the Calculus of Propositions. [REVIEW]Nicholas Rescher - 1952 - Journal of Symbolic Logic 17 (1):66-67.
Review: Erik Gotlind, An Axiom System for the Propositional Calculus. [REVIEW]Oiva Ketonen - 1948 - Journal of Symbolic Logic 13 (1):52-52.
Probability and conditionals.Robert C. Stalnaker - 1970 - Philosophy of Science 37 (1):64-80.
Arithmetic based on the church numerals in illative combinatory logic.M. W. Bunder - 1988 - Studia Logica 47 (2):129 - 143.
The Simplest Axiom System for Plane Hyperbolic Geometry Revisited.Victor Pambuccian - 2011 - Studia Logica 97 (3):347 - 349.
Independence of two nice sets of axioms for the propositional calculus.T. Thacher Robinson - 1968 - Journal of Symbolic Logic 33 (2):265-270.
Review: Jan Lukasiewicz, The Shortest Axiom of the Implicational Calculus of Propositions. [REVIEW]Alonzo Church - 1948 - Journal of Symbolic Logic 13 (3):164-164.
A Note on Relative Efficiency of Axiom Systems.Sandra Fontani, Franco Montagna & Andrea Sorbi - 1994 - Mathematical Logic Quarterly 40 (2):261-272.
A note on the proof theory the λII-calculus.David J. Pym - 1995 - Studia Logica 54 (2):199 - 230.
Note on a recent set of postulates for the calculus of propositions.E. V. Huntington - 1939 - Journal of Symbolic Logic 4 (1):10-14.
A single axiom for a partial system of the propositional calculus.Alan Rose - 1955 - Mathematical Logic Quarterly 1 (3):196-197.
The simplest axiom system for plane hyperbolic geometry.Victor Pambuccian - 2004 - Studia Logica 77 (3):385 - 411.
Review: Jan Lukasiewicz, Concerning an Axiom System of the Implicational Propositional Calculus. [REVIEW]Bolesław Sobociński - 1955 - Journal of Symbolic Logic 20 (2):173-174.
A minimal classical sequent calculus free of structural rules.Dominic Hughes - 2010 - Annals of Pure and Applied Logic 161 (10):1244-1253.
Strongly decidable properties of modal and intuitionistic calculi.L. Maksimova - 2000 - Logic Journal of the IGPL 8 (6):797-819.

Analytics

Added to PP
2015-02-05

Downloads
10 (#1,129,009)

6 months
6 (#431,022)

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