✦ LIBER ✦

Finite Nest Structures and Propositional Logic

✍ Scribed by Raymond M. Smullyan

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Deterministic propositional dynamic logi

✍ Mordechai Ben-Ari; Joseph Y. Halpern; Amir Pnueli 📂 Article 📅 1982 🏛 Elsevier Science 🌐 English ⚖ 911 KB

Semantic theory of finite lattice-valued

✍ XiaoDong Pan; Yang Xu 📂 Article 📅 2010 🏛 Science in China Press (SCP) 🌐 English ⚖ 214 KB

Syntax theory of finite lattice-valued p

✍ XiaoDong Pan, Dan Meng, Yang Xu 📂 Article 📅 2012 🏛 Science in China Press (SCP) 🌐 English ⚖ 254 KB

Characterising nested database dependenc

✍ Sven Hartmann; Sebastian Link 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 482 KB

Propositional description of finite caus

✍ Leszek Holenderski; Andrzej Szalas 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 610 KB

Remark on a finite axiomatization of fin

✍ Skvortsov, D. 📂 Article 📅 1999 🏛 Editions Lavoisier 🌐 English ⚖ 286 KB