✦ LIBER ✦

Finite information logic

✍ Scribed by Rohit Parikh; Jouko Väänänen

Book ID: 108054574
Publisher: Elsevier Science
Year: 2005
Tongue: English
Weight: 178 KB
Volume: 134
Category: Article
ISSN: 0168-0072
DOI: 10.1016/j.apal.2004.06.013

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

About finite predicate logic

✍ Herman Dishkant 📂 Article 📅 1986 🏛 Springer Netherlands 🌐 English ⚖ 636 KB

We say that an n-argument predicate P ~ .O n is finite, if P is a finite set. Note that the set of individuals .O is infinite! Finite predicates are useful in data bases and in finite mathematics. The logic DBL proposed here operates on finite predicates only. Y~re construct an imbedding for DBJb in

Finite-level modal logics

✍ L. L. Maksimov 📂 Article 📅 1975 🏛 Springer US 🌐 English ⚖ 665 KB

Finite Variable Logic, Stability and Fin

Finite Variable Logic, Stability and Finite Models

✍ Marko Djordjević 📂 Article 📅 2001 🏛 Association for Symbolic Logic 🌐 English ⚖ 438 KB

Canonical Forms for Information-Lossless

Canonical Forms for Information-Lossless Finite-State Logical Machinesby David A. Huffman

✍ Review by: Andrzej J. Blikle 📂 Article 📅 1967 🏛 Association for Symbolic Logic 🌐 English ⚖ 201 KB

Paraconsistent Informational Logic

✍ Paola Forcheri; Paolo Gentilini 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 219 KB

Finite axiomatizability in Łukasiewicz l

Finite axiomatizability in Łukasiewicz logic

✍ Daniele Mundici 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 331 KB