Single Axioms for the Systems , and of the Two- Valued Propositional Calculus

Journal of Symbolic Logic 19 (2):143-144 (1954)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268913

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,261

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: Carew A. Meredith, Single Axioms for the Systems $(C, N), (C, 0)$ and $(A, N)$ of the Two- Valued Propositional Calculus. [REVIEW]Alonzo Church - 1954 - Journal of Symbolic Logic 19 (2):143-144.
Three contributions to the two-valued propositional calculus.Stanisław Jaśkowski - 1975 - Studia Logica 34 (1):121 - 132.
Independence of two nice sets of axioms for the propositional calculus.T. Thacher Robinson - 1968 - Journal of Symbolic Logic 33 (2):265-270.
A proof of axiomatizability of łukasiewicz’s three-valued implicational propositional calculus.T. Prucnal - 1967 - Studia Logica 20 (1):144-144.
Algebraiczna semantyka dla nihilistycznych rachunków zdań.Eugeniusz Żabski - 1993 - Filozofia Nauki 4.
Single Primitive Ternary Connectives for the 2‐Valued Propositional Calculus.R. A. Cuninghame-Green - 1959 - Mathematical Logic Quarterly 5 (7‐13):206-207.
Single generators for Henkinian fragments of the 2‐valued propositional calculus.Alan Rose - 1969 - Mathematical Logic Quarterly 15 (6):85-92.
Universal Classes of MV-Chains with Applications to Many-valued Logics.Joan Gispert - 2002 - Mathematical Logic Quarterly 48 (4):582-601.
Proper n-valued łukasiewicz algebras as s-algebras of łukasiewicz n-valued prepositional calculi.Roberto Cignoli - 1982 - Studia Logica 41 (1):3 - 16.
Compatible Functions in Algebras Associated to Extensions of Positive Logic.Rodolfo Ertola, Adriana Galli & Marta Sagastuma - 2007 - Logic Journal of the IGPL 15 (1):109-119.
Sets, classes and the propositional calculus.E. Lopez-Escobar - 2005 - Manuscrito 28 (2):417-448.
Proof of the Axiomatizability of full Many-Valued Systems of Propositional Calculus.Jerzy Slupecki - 1946 - Journal of Symbolic Logic 11 (3):92-93.
On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus.D. A. Bochvar & Merrie Bergmann - 1981 - History and Philosophy of Logic 2 (1-2):87-112.
Theorem counting.M. G. Beavers - 1994 - Topoi 13 (1):61-65.
Review: Jerzy Slupecki, Proof of the Axiomatizability of full Many-Valued Systems of Propositional Calculus. [REVIEW]Henryk Stonert - 1946 - Journal of Symbolic Logic 11 (3):92-93.

Analytics

Added to PP
2015-02-05

Downloads
50 (#319,955)

6 months
5 (#648,432)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references