𝔖 Bobbio Scriptorium

✦ LIBER ✦

Binary Connectives Functionally Complete by Themselves in S5 Modal Logic

✍ Scribed by Gerald J. Massey

Book ID: 124959637
Publisher: Association for Symbolic Logic
Year: 1967
Tongue: English
Weight: 146 KB
Volume: 32
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2271247

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Theory of Truth Tabular Connectives,

The Theory of Truth Tabular Connectives, Both Truth Functional and Modal.by Gerald J. Massey;Binary Connectives Functionally Complete by Themselves in S5 modal Logic.by Gerald J. Massey

✍ Review by: M. K. Rennie 📂 Article 📅 1972 🏛 Association for Symbolic Logic 🌐 English ⚖ 370 KB

Modal Logics Between S4 and S5by M. A. E

Modal Logics Between S4 and S5by M. A. E. Dummett; E. J. Lemmon;On Formulas of One Variable in Intuitionistic Propositional Calculusby Iwao Nishimura;There are Infinitely Many Diodorean Modal Functionsby D. C. Makinson

✍ Review by: A. N. Prior 📂 Article 📅 1967 🏛 Association for Symbolic Logic 🌐 English ⚖ 358 KB

A Simple Proof of Functional Completenes

A Simple Proof of Functional Completeness in Many-Valued Logics Based on Łukasiewicz's C and N.by Robert E. Clay;Note on Słupecki T-Functionsby Robert E. Clay

✍ Review by: Arto Salomaa 📂 Article 📅 1965 🏛 Association for Symbolic Logic 🌐 English ⚖ 233 KB

Connected components in binary images: T

Connected components in binary images: The detection problem: by Christian Ronse and Pierre A. Devijver, Philips Research Laboratory, Brussels, Belgium. Publisher: Research Studies Press, Ltd., Letchworth, United Kingdom, distributed elsewhere by John Wiley and Sons, Inc., 605 Third Avenue, New York, NY 10158, U.S.A., 1984, xii+165 pp., ISBN 0-86380-016-5

✍ I.T Young 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 247 KB

MAGNA CARTAThe Great CharterPreamble

MAGNA CARTAThe Great CharterPreamble

📂 Fiction 🌐 English ⚖ 11 KB 👁 18 views