✦ LIBER ✦

Interpolation property for extensions of intuitionistic proof logic

✍ Scribed by I. G. Simonova

Publisher: SP MAIK Nauka/Interperiodica
Year: 1990
Tongue: English
Weight: 573 KB
Volume: 47
Category: Article
ISSN: 0001-4346
DOI: 10.1007/bf01158092

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Interpolation theorems for intuitionisti

Interpolation theorems for intuitionistic predicate logic

✍ G. Mints 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 137 KB

Craig interpolation theorem (which holds for intuitionistic logic) implies that the derivability of X; X ⇒ Y implies existence of an interpolant I in the common language of X and X ⇒ Y such that both X ⇒ I and I; X ⇒ Y are derivable. For classical logic this extends to X; X ⇒ Y; Y , but for intuitio

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

Doing logic by computer: interpolation i

Doing logic by computer: interpolation in fragments of intuitionistic propositional logic

✍ Lex Hendriks 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 164 KB

Continuum of normal extensions of the mo

Continuum of normal extensions of the modal logic of provability with the interpolation property

✍ L. L. Maksimova 📂 Article 📅 1990 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 631 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

THE JUDGEMENT CALCULUS FOR INTUITIONISTI

THE JUDGEMENT CALCULUS FOR INTUITIONISTIC LINEAR LOGIC: PROOF THEORY AND SEMANTICS

✍ Silvio Valentini 📂 Article 📅 1992 🏛 John Wiley and Sons 🌐 English ⚖ 958 KB

## Abstract In this paper we propose a new set of rules for a judgement calculus, i.e. a typed lambda calculus, based on Intuitionistic Linear Logic; these rules ease the problem of defining a suitable mathematical semantics. A proof of the canonical form theorem for this new system is given: it as