✦ LIBER ✦

Single Primitive Ternary Connectives for the 2-Valued Propositional Calculus

✍ Scribed by R. A. Cuninghame-Green

Publisher: John Wiley and Sons
Year: 1959
Tongue: English
Weight: 99 KB
Volume: 5
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.19590050706

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

SINGLE GENERATORS FOR HENKINIAN FRAGMENT

SINGLE GENERATORS FOR HENKINIAN FRAGMENTS OF THE 2-VALUED PROPOSITIONAL CALCULUS

✍ Alan Rose 📂 Article 📅 1969 🏛 John Wiley and Sons 🌐 English ⚖ 396 KB

## SINGLE GENERATORS FOR HENKINIAN FRAGMENTS OF THE 2-VALUED PROPOSITIONAL CALCULUS by ALAN ROSE in Nottingham (England) HENKIN has shown,) that if the truth-tables of the primitive functors of a 2-valued propositional calculus are such that material implication is definable2) in this propositiona

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