𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Kripke semantics and proof systems for combining intuitionistic logic and classical logic

✍ Scribed by Chuck Liang; Dale Miller

Book ID
119190954
Publisher
Elsevier Science
Year
2013
Tongue
English
Weight
357 KB
Volume
164
Category
Article
ISSN
0168-0072

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

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

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

A secondary semantics for Second Order I
A secondary semantics for Second Order Intuitionistic Propositional Logic
✍ Mauro Ferrari; Camillo Fiorentini; Guido Fiorino πŸ“‚ Article πŸ“… 2004 πŸ› John Wiley and Sons 🌐 English βš– 159 KB

## Abstract In this paper we propose a Kripke‐style semantics for second order intuitionistic propositional logic and we provide a semantical proof of the disjunction and the explicit definability property. Moreover, we provide a tableau calculus which is sound and complete with respect to such a s