Three contributions to the two-valued propositional calculus
Studia Logica 34 (1):121 - 132 (1975)
| 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 | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,705 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesT. Thacher Robinson (1968). Independence of Two Nice Sets of Axioms for the Propositional Calculus. Journal of Symbolic Logic 33 (2):265-270.
Dexter Kozen (1988). A Finite Model Theorem for the Propositional Μ-Calculus. Studia Logica 47 (3):233 - 241.
René[from old catalog] Calvache (1966). Tables for the Propositional Calculus (Logico-Mathematical Brain). Miami, Fla..
Leon Horsten & Philip Welch (2007). The Undecidability of Propositional Adaptive Logic. Synthese 158 (1):41 - 60.
Tzu-Hua Hoo (1949). M-Valued Sub-System of (M+N)-Valued Propositional Calculus. Journal of Symbolic Logic 14 (3):177-181.
Wim Ruitenburg (1984). On the Period of Sequences (an(P)) in Intuitionistic Propositional Calculus. Journal of Symbolic Logic 49 (3):892 - 899.
A. A. Zinovjev (1961). A Method of Describing the Truth-Functions of Then-Valued Propositional Calculus. Studia Logica 11 (1).
D. A. Bochvar & Merrie Bergmann (1981). On a Three-Valued Logical Calculus and its Application to the Analysis of the Paradoxes of the Classical Extended Functional Calculus. History and Philosophy of Logic 2 (1-2):87-112.
Roberto Cignoli (1982). Proper N-Valued Łukasiewicz Algebras as s-Algebras of Łukasiewicz N-Valued Prepositional Calculi. Studia Logica 41 (1):3 - 16.
M. G. Beavers (1994). Theorem Counting. Topoi 13 (1):61-65.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads7 ( #133,587 of 549,130 )Recent downloads (6 months)1 ( #63,397 of 549,130 )How can I increase my downloads? |
My notes
Discussion
