✦ LIBER ✦

An algebra related with a propositional calculus

✍ Scribed by Iséki, Kiyoshi

Book ID: 126242275
Publisher: The Japan Academy
Year: 1966
Weight: 347 KB
Volume: 42
Category: Article
ISSN: 0021-4280
DOI: 10.3792/pja/1195522171

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A relational algebra for propositional l

A relational algebra for propositional logic

✍ Robert W Blanning 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 579 KB

An extension of the intuitionsitic propo

An extension of the intuitionsitic propositional calculus

✍ Kenneth A. Bowen 📂 Article 📅 1971 🏛 Elsevier Science ⚖ 337 KB

A FORMALISATION OF AN m-VALUED PROPOSITI

A FORMALISATION OF AN m-VALUED PROPOSITIONAL CALCULUS WITH VARIABLE FUNCTORS

✍ John Jones 📂 Article 📅 1983 🏛 John Wiley and Sons 🌐 English ⚖ 95 KB 👁 1 views

A group in the substitutive algebra of t

A group in the substitutive algebra of the calculus of propositions

✍ Karl Menger 📂 Article 📅 1962 🏛 Springer 🌐 English ⚖ 368 KB

A Formalisation of an ℵ0-Valued Proposit

A Formalisation of an ℵ0-Valued Propositional Calculus with Variable Functors

✍ John Jones 📂 Article 📅 1982 🏛 John Wiley and Sons 🌐 English ⚖ 272 KB

A FORMALISATION O F AN N,-VALUED PROPOSITIONAL CALCULUS WITH VARIABLE FUNCTORS by JOHN JONES in Nottingham (Great Britain) There has been given in [ 2 ] a complete formalisation of the ni-valued ( 2 ?H < N,) propositional calculus with 1 designated truth-value in which the primitive symbols are pro

On an Extended System of the Proposition

On an Extended System of the Propositional Calculus

✍ C. A. Meredith 📂 Article 📅 1951-1952 ⚖ 766 KB