✦ LIBER ✦

Modal Extensions of Sub-classical Logics for Recovering Classical Logic

✍ Scribed by Marcelo E. Coniglio, Newton M. Peron

Book ID: 120950769
Publisher: SP Birkhäuser Verlag Basel
Year: 2013
Tongue: English
Weight: 250 KB
Volume: 7
Category: Article
ISSN: 1661-8297
DOI: 10.1007/s11787-012-0076-3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Superintuitionistic Companions of Classi

Superintuitionistic Companions of Classical Modal Logics

✍ Frank Wolter 📂 Article 📅 1997 🏛 Springer Netherlands 🌐 English ⚖ 440 KB

SAT-Based Decision Procedures for Classi

SAT-Based Decision Procedures for Classical Modal Logics

✍ Enrico Giunchiglia; Armando Tacchella; Fausto Giunchiglia 📂 Article 📅 2002 🏛 Springer Netherlands 🌐 English ⚖ 326 KB

Intuitionist logic — Subsystem of, exten

Intuitionist logic — Subsystem of, extension of, or rival to, classical logic?

✍ Richard Sylvan 📂 Article 📅 1988 🏛 Springer Netherlands 🌐 English ⚖ 225 KB

There is a probabilistic semantics for e

There is a probabilistic semantics for every extension of classical sentence logic

✍ Charles G. Morgan 📂 Article 📅 1982 🏛 Springer Netherlands 🌐 English ⚖ 508 KB

On the extension of classical propositio

On the extension of classical propositional logic by means of a triangular norm

✍ G. de Cooman; E. E. Kerre; B. Cappelle; Ruan Da; F. Vanmassenhove 📂 Article 📅 1990 🏛 John Wiley and Sons 🌐 English ⚖ 682 KB

In this article, we introduce a generalized extension principle by substituting a more general triangular norm T for the min intersection operator in Zadeh's extension principle. We also introduce a family of propositional logics, sup-T extension logics, obtained by the extension of classical-logica

A Descending Chain of Classical Logics f

A Descending Chain of Classical Logics for Which Necessitation Implies Regularity

✍ Roy A. Benton 📂 Article 📅 1979 🏛 John Wiley and Sons 🌐 English ⚖ 163 KB