𝔖 Bobbio Scriptorium

✦ LIBER ✦

Relation of m-Valued Quantificational Logic to 2-Valued Quantificational Logicby Burton Dreben

✍ Scribed by Review by: Atwell R. Turquette

Book ID: 124963092
Publisher: Association for Symbolic Logic
Year: 1965
Tongue: English
Weight: 374 KB
Volume: 30
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2269642

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Axiom Schemes for m-Valued Functional Ca

Axiom Schemes for m-Valued Functional Calculi of First Order. Part II. Deductive Completenessby J. B. Rosser; A. R. Turquette

✍ Review by: Burton Spencer Dreben 📂 Article 📅 1951 🏛 Association for Symbolic Logic 🌐 English ⚖ 207 KB

Axiom Schemes for m-Valued Functional Ca

Axiom Schemes for m-Valued Functional Calculi of First Order. Part I. Definition of Axiom Schemes and Proof of Plausibilityby J. B. Rosser; A. R. Turquette

✍ Review by: Burton Spencer Dreben 📂 Article 📅 1950 🏛 Association for Symbolic Logic 🌐 English ⚖ 350 KB

Applications of multi-valued logic to te

Applications of multi-valued logic to testing of binary andMVL circuits: M Serra (Dept. of Comput. Sci., Victoria Univ.,BC, Canada) Int. J. Electron. (GB), vol. 63, no. 2, pp. 197–214 (Aug. 1987)

📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 69 KB

New logical-sum and logical-product circ

New logical-sum and logical-product circuits using CMOS transistors and their applications to four-valued combinational circuits: T Watanabe, M Matsumoto, T Li (Dept. of Electr. Eng., Fac. of Eng., Tokyo Univ., Saitama, Japan) Int. J. Electron. (GB), vol. 63, no. 2, pp. 215–227 (Aug. 1987)

📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 98 KB