Generalizability of the propositional and predicate calculi to infinite-valued calculi
Notre Dame Journal of Formal Logic 11 (1):107-128 (1970)
| 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,653 |
| 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.
Helena Rasiowa (1985). Topological Representations of Post Algebras of Order Ω+ and Open Theories Based on Ω+-Valued Post Logic. Studia Logica 44 (4):353 - 368.
Grzegorz Malinowski (1977). Degrees of Maximality of Łukasiewicz-Like Sentential Calculi. Studia Logica 36 (3):213 - 228.
Jacek Wojtysiak (1999). Metafizyka w logice. Filozofia Nauki 1.
Pierluigi Minari (1983). Completeness Theorems for Some Intermediate Predicate Calculi. Studia Logica 42 (4):431 - 441.
Helena Rasiowa (1975). Mixed-Valued Predicate Calculi. Studia Logica 34 (3):215 - 234.
Alexej P. Pynko (2010). Many-Place Sequent Calculi for Finitely-Valued Logics. Logica Universalis 4 (1).
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.
V. A. Bocharov (1983). Subject-Predicate Calculus Free From Existential Import. Studia Logica 42 (2-3):209 - 221.
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.
Bolesław Sobociński (1961). A Note Concerning the Many-Valued Propositional Calculi. Notre Dame Journal of Formal Logic 2 (2):127-128.
O. Anshakov & S. Rychkov (1995). On Finite-Valued Propositional Logical Calculi. Notre Dame Journal of Formal Logic 36 (4):606-629.
Alexej P. Pynko (2009). Distributive-Lattice Semantics of Sequent Calculi with Structural Rules. Logica Universalis 3 (1).
Analytics
Monthly downloads |
Added to index2010-08-24Total downloads4 ( #178,473 of 548,984 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
