✦ LIBER ✦

Some Self-Dual Primitive Functions for Propositional Calculiby Alan Rose

✍ Scribed by Review by: Robert McNaughton

Book ID: 124954804
Publisher: Association for Symbolic Logic
Year: 1954
Tongue: English
Weight: 110 KB
Volume: 19
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2267756

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Some self-dual primitive functions for P

Some self-dual primitive functions for Propositional Calculi

✍ Alan Rose 📂 Article 📅 1953 🏛 Springer 🌐 English ⚖ 274 KB

Systems of Logic Whose Truth-Values Form

Systems of Logic Whose Truth-Values Form Latticesby Alan Rose;A Lattice-Theoretic Characterisation of the ℵ0-Valued Propositional Calculus.by Alan Rose;The Degree of Completeness of Some Lukasiewicz-Tarski Propositional Calculiby Alan Rose

✍ Review by: A. R. Turquette 📂 Article 📅 1952 🏛 Association for Symbolic Logic 🌐 English ⚖ 312 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

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