𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Semantics and proof-theory of depth bounded Boolean logics

✍ Scribed by D’Agostino, Marcello; Finger, Marcelo; Gabbay, Dov

Book ID
122428822
Publisher
Elsevier Science
Year
2013
Tongue
English
Weight
579 KB
Volume
480
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Fresh Logic: proof-theory and semantics
Fresh Logic: proof-theory and semantics for FM and nominal techniques
✍ Murdoch J. Gabbay 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 454 KB

In this paper we introduce Fresh Logic, a natural deduction style first-order logic extended with term-formers and quantifiers derived from the FM-sets model of names and binding in abstract syntax. Fresh Logic can be classical or intuitionistic depending on whether we include a law of excluded midd

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