✦ LIBER ✦

Model theory for an extension of intuitionistic logic

✍ Scribed by Cecylia Rauszer

Publisher: Springer Netherlands
Year: 1977
Tongue: English
Weight: 718 KB
Volume: 36
Category: Article
ISSN: 0039-3215
DOI: 10.1007/bf02121116

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Model Theory for Intuitionistic Logic

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

A probabilistic extension of intuitionis

A probabilistic extension of intuitionistic logic

✍ Zoran Marković; Zoran Ognjanović; Miodrag Rašković 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 173 KB

## Abstract We introduce a probabilistic extension of propositional intuitionistic logic. The logic allows making statements such as __P__~≥__s__~α, with the intended meaning “the probability of truthfulness of __α__ is at least __s__”. We describe the corresponding class of models, which are Kripk

Interpolation property for extensions of

Interpolation property for extensions of intuitionistic proof logic

✍ I. G. Simonova 📂 Article 📅 1990 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 573 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

Constants in Kripke Models for Intuition

Constants in Kripke Models for Intuitionistic Logic

✍ Daniel Dzierzgowski 📂 Article 📅 1995 🏛 John Wiley and Sons 🌐 English ⚖ 617 KB

We present a technique to extend a Kripke structure (for intuitionistic logic) into an elementary extension satisfying some property (cardinality, saturation, etc.) which can be "axiomatized" by a family of sets of sentences, where, most often, many constant symbols occur. To that end, we prove exte

Intuitionistic axiomatizations for bound

Intuitionistic axiomatizations for bounded extension Kripke models

✍ Mohammad Ardeshir; Wim Ruitenburg; Saeed Salehi 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 286 KB