✦ LIBER ✦

Proof theory for minimal quantum logic II

✍ Scribed by Hirokazu Nishimura

Publisher: Springer
Year: 1994
Tongue: English
Weight: 635 KB
Volume: 33
Category: Article
ISSN: 0020-7748
DOI: 10.1007/bf00670687

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Proof theory for minimal quantum logic I

✍ Hirokazu Nishimura 📂 Article 📅 1994 🏛 Springer 🌐 English ⚖ 496 KB

Proof theory for minimal quantum logic:

Proof theory for minimal quantum logic: A remark

✍ Mitio Takano 📂 Article 📅 1995 🏛 Springer 🌐 English ⚖ 180 KB

Proof Theories for Semilattice Logics

✍ Steve Giambrone; Alasdaire Urquhart 📂 Article 📅 1987 🏛 John Wiley and Sons 🌐 English ⚖ 400 KB

Further Results on Proof Theories For Se

Further Results on Proof Theories For Semilattice Logics

✍ Robert K. Meyer; Errol P. Martin; Steve Giambrone; Alasdair Urquhart 📂 Article 📅 1988 🏛 John Wiley and Sons 🌐 English ⚖ 212 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

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