✦ LIBER ✦

Modal-type orthomodular logic

✍ Scribed by Graciela Domenech; Hector Freytes; Christian de Ronde

Publisher: John Wiley and Sons
Year: 2009
Tongue: English
Weight: 138 KB
Volume: 55
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.200710088

No coin nor oath required. For personal study only.

✦ Synopsis

Abstract

In this paper we enrich the orthomodular structure by adding a modal operator, following a physical motivation. A logical system is developed, obtaining algebraic completeness and completeness with respect to a Kripkestyle semantic founded on Baer*‐semigroups as in [22] (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)

📜 SIMILAR VOLUMES

Orthomodular Logic

✍ Gudrun Kalmbach 📂 Article 📅 1974 🏛 John Wiley and Sons 🌐 English ⚖ 636 KB

Kripke-style Semantics of Orthomodular L

Kripke-style Semantics of Orthomodular Logics

✍ Yutaka Miyazaki 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 276 KB 👁 2 views

Modal sequents for normal modal logics

✍ Claudio Cerrato 📂 Article 📅 1993 🏛 John Wiley and Sons 🌐 English ⚖ 433 KB

## Abstract We present sequent calculi for normal modal logics where modal and propositional behaviours are separated, and we prove a cut elimination theorem for the basic system K, so as completeness theorems (in the new style) both for K itself and for its most popular enrichments. MSC: 03B45, 03

Montague Type Semantics for Modal Logics

Montague Type Semantics for Modal Logics with Propositional Quantifiers

✍ Dov M. Gabbay 📂 Article 📅 1971 🏛 John Wiley and Sons 🌐 English ⚖ 227 KB

A Companion to Philosophical Logic || Mo

A Companion to Philosophical Logic || Modal Logic

✍ Jacquette, Dale 📂 Article 📅 2006 🏛 Blackwell Publishing Ltd 🌐 English ⚖ 121 KB 👁 2 views

Edited By Dale Jacquette. Includes Bibliographical References And Index.

Negation-Free Modal Logics

✍ George F. Schumm; Roy Edelstein 📂 Article 📅 1979 🏛 John Wiley and Sons 🌐 English ⚖ 521 KB