✦ LIBER ✦

Axiomatic Majority-Decision Logic

✍ Scribed by Larkin, John P.

Book ID: 119816418
Publisher: Institute of Electrical and Electronics Engineers
Year: 1961
Tongue: English
Weight: 216 KB
Volume: EC-10
Category: Article
ISSN: 0367-9950
DOI: 10.1109/tec.1961.5219244

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Axiomatizing fixpoint logics

✍ Andrzej Szalas 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 606 KB

Majority-Logic Synthesis

✍ Horna, Otakar A. 📂 Article 📅 1963 🏛 Institute of Electrical and Electronics Engineers 🌐 English ⚖ 398 KB

Axiomatization of quantum logics

✍ Sylvia Pulmannová 📂 Article 📅 1996 🏛 Springer 🌐 English ⚖ 659 KB

Interpreting axiomatic (decision) theory

✍ Paul Anand 📂 Article 📅 1990 🏛 Springer US 🌐 English ⚖ 631 KB

Axiomatic Extensions of IMT3 Logic

✍ Joan Gispert; Antoni Torrens 📂 Article 📅 2005 🏛 Springer Netherlands 🌐 English ⚖ 257 KB

Minimal Axiomatization in Modal Logic

✍ Fabio Bellissima; Saverio Cittadini 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 700 KB

## Abstract We consider the problem of finding, in the ambit of modal logic, a minimal characterization for finite Kripke frames, i.e., a formula which, given a frame, axiomatizes its theory employing the lowest possible number of variables and implies the other axiomatizations. We show that every