Three contributions to the two-valued propositional calculus

Studia Logica 34 (1):121 - 132 (1975)
  Copy   BIBTEX

Abstract

Three chapters contain the results independent of each other. In the first chapter I present a set of axioms for the propositional calculus which are shorter than the ones known so far, in the second one I give a method of defining all ternary connectives, in the third one, I prove that the probability of propositional functions is preserved under reversible substitutions

Categories

Keywords

Reprint years

DOI

10.1007/bf02314428

Links

PhilArchive



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

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

Independence of two nice sets of axioms for the propositional calculus.T. Thacher Robinson - 1968 - Journal of Symbolic Logic 33 (2):265-270.
Proper n-valued łukasiewicz algebras as s-algebras of łukasiewicz n-valued prepositional calculi.Roberto Cignoli - 1982 - Studia Logica 41 (1):3 - 16.
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.
A method of describing the truth-functions of then-valued propositional calculus.A. A. Zinovjev - 1961 - Studia Logica 11 (1):222-222.
On the period of sequences (an(p)) in intuitionistic propositional calculus.Wim Ruitenburg - 1984 - Journal of Symbolic Logic 49 (3):892 - 899.
M-valued sub-system of (m+n)-valued propositional calculus.Tzu-Hua Hoo - 1949 - Journal of Symbolic Logic 14 (3):177-181.
Tables for the propositional calculus (logico-mathematical brain).René Calvache - 1966 - Miami, Fla.: Miami, Fla.. Edited by Sanabria, E. F. & [From Old Catalog].
A finite model theorem for the propositional μ-calculus.Dexter Kozen - 1988 - Studia Logica 47 (3):233 - 241.
Theorem counting.M. G. Beavers - 1994 - Topoi 13 (1):61-65.

Analytics

Added to PP
2009-01-28

Downloads
49 (#323,230)

6 months
5 (#626,659)

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