✦ LIBER ✦

The Calculus of Propositions and Self-Contradictionby A. P. Ushenko

✍ Scribed by Review by: C. H. Langford

Book ID: 124949261
Publisher: Association for Symbolic Logic
Year: 1941
Tongue: English
Weight: 208 KB
Volume: 6
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2266676

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A formalisation of the 2-valued proposit

A formalisation of the 2-valued propositional calculus with self-dual primitives

✍ Alan Rose 📂 Article 📅 1954 🏛 Springer 🌐 English ⚖ 192 KB

A Formalisation of the 2-Valued Proposit

A Formalisation of the 2-Valued Propositional Calculus with Self-Dual Primitivesby Alan Rose

✍ Review by: Alonzo Church 📂 Article 📅 1954 🏛 Association for Symbolic Logic 🌐 English ⚖ 87 KB

Self-Dual Sets of Unary and Binary Conne

Self-Dual Sets of Unary and Binary Connectives for the 3-Valued Propositional Calculus

✍ Vivien Leigh 📂 Article 📅 1972 🏛 John Wiley and Sons 🌐 English ⚖ 246 KB

A Simplified Self m-AL Set of Primitive

A Simplified Self m-AL Set of Primitive Functors for the m-Valued Propositional Calculus

✍ Alan Rose 📂 Article 📅 1962 🏛 John Wiley and Sons 🌐 English ⚖ 336 KB 👁 1 views

GiiP take the truth-values x , y , f ( x , y), gif(x) respectively then2) l) A. ROSE, Sur un ensemble de foncteurs primitifs pour le calcul propositionnel 21, m valeurs \*) The operation "+"' is defined as in the previous paper. The operation " x "' is defined lequel constitue son propre m-al, Comp

On the Extension of the Intuitionist Pro

On the Extension of the Intuitionist Propositional Calculus to the Classical Calculus, and the Minimal Calculus to the Intuitionist Calculus.by V. A. Jankov

✍ Review by: J. G. Anderson 📂 Article 📅 1973 🏛 Association for Symbolic Logic 🌐 English ⚖ 128 KB

A Note on Götlind's Axiom System for the

A Note on Götlind's Axiom System for the Calculus of Propositions.by R. K. P. Singh; R. Shukla

✍ Review by: Nicholas Rescher 📂 Article 📅 1952 🏛 Association for Symbolic Logic 🌐 English ⚖ 330 KB