A note concerning the many-valued propositional calculi
Notre Dame Journal of Formal Logic 2 (2):127-128 (1961)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| 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,701 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesEugeniusz Żabski (1993). Algebraiczna semantyka dla nihilistycznych rachunków zdań. Filozofia Nauki 4.
J. B. Rosser & A. R. Turquette (1950). A Note on the Deductive Completeness of M-Valued Propositional Calculi. Journal of Symbolic Logic 14 (4):219-225.
S. J. Surma (1973). A Note on Indirect Deduction Theorems Valid in Łukasiewicz's Finitely-Valued Propositional Calculi. Studia Logica 31 (1).
Juliusz Reichbach (1964). A Note About Connection of the First-Order Functional Calculus with Many-Valued Propositional Calculi. Notre Dame Journal of Formal Logic 5 (2):158-160.
Hermann F. Schott (1970). Generalizability of the Propositional and Predicate Calculi to Infinite-Valued Calculi. Notre Dame Journal of Formal Logic 11 (1):107-128.
Roberto Cignoli (1982). Proper N-Valued Łukasiewicz Algebras as s-Algebras of Łukasiewicz N-Valued Prepositional Calculi. Studia Logica 41 (1):3 - 16.
Witold A. Pogorzelski (1964). The Deduction Theorem for Łukasiewicz Many-Valued Propositional Calculi. Studia Logica 15 (1):7 - 23.
J. B. Rosser & A. R. Turquette (1945). Axiom Schemes for M-Valued Propositional Calculi. Journal of Symbolic Logic 10 (3):61-82.
Alan Rose (1978). Formalisations of Further ℵ0-Valued Lukasiewicz Propositional Calculi. Journal of Symbolic Logic 43 (2):207 - 210.
Alexej P. Pynko (2010). Many-Place Sequent Calculi for Finitely-Valued Logics. Logica Universalis 4 (1).
Grzegorz Malinowski (1977). Degrees of Maximality of Łukasiewicz-Like Sentential Calculi. Studia Logica 36 (3):213 - 228.
O. Anshakov & S. Rychkov (1995). On Finite-Valued Propositional Logical Calculi. Notre Dame Journal of Formal Logic 36 (4):606-629.
John Jones (1985). The Rule of Procedure ${\Rm Re}$ in Ł Ukasiewicz's Many-Valued Propositional Calculi. Notre Dame Journal of Formal Logic 26 (4):423-428.
Vladeta Vučković (1967). Recursive Models for Three-Valued Propositional Calculi with Classical Implication. Notre Dame Journal of Formal Logic 8 (1-2):148-153.
Bolesław Sobociński (1974). A Theorem Concerning a Restricted Rule of Substitution in the Field of Propositional Calculi. I. Notre Dame Journal of Formal Logic 15 (3):465-476.
Analytics
Monthly downloads |
Added to index2010-08-24Total downloads2 ( #232,575 of 549,128 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
