✦ LIBER ✦

Rosser Orderings in Bimodal Logics

✍ Scribed by Alessandra Carbone; Franco Montagna

Publisher: John Wiley and Sons
Year: 1989
Tongue: English
Weight: 902 KB
Volume: 35
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.19890350407

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Algebraic geometry in first-order logic

✍ B. Plotkin 📂 Article 📅 2006 🏛 Springer US 🌐 English ⚖ 504 KB

Algorithmic decidability of the Church-R

Algorithmic decidability of the Church-Rosser property in algebras of nondeterminate algorithms with closed logical conditions

✍ Yu. A. Yushchenko 📂 Article 📅 1982 🏛 Springer US 🌐 English ⚖ 498 KB

Universal First-Order Definability in Mo

Universal First-Order Definability in Modal Logic

✍ R. E. Jennings; D. K. Johnston; P. K. Schotch 📂 Article 📅 1980 🏛 John Wiley and Sons 🌐 English ⚖ 198 KB

UPiIVERSAL FIRST-ORDER DEFINABILITY I N MODAL LOGIC by R. E. JENNIXGS and D. K. JOHNSTON in Burnaby, British Columbia (Canada) and P. K. SCHOTCH in Halifax, Nova Scotia (Canada)l) In [ l ] R. I. GOLDBLATT presents a model theoretic characterization of the class of modal sentences determined by firs

Arity and alternation in second-order lo

Arity and alternation in second-order logic

✍ J.A. Makowsky; Y.B. Pnueli 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 844 KB

Concept lattices and order in fuzzy logi

Concept lattices and order in fuzzy logic

✍ Radim Bĕlohlávek 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 328 KB

Combining and automating classical and n

Combining and automating classical and non-classical logics in classical higher-order logics

✍ Christoph Benzmüller 📂 Article 📅 2011 🏛 Springer Netherlands 🌐 English ⚖ 502 KB