✦ LIBER ✦

The logic of proofs, semantically

✍ Scribed by Melvin Fitting

Publisher: Elsevier Science
Year: 2005
Tongue: English
Weight: 284 KB
Volume: 132
Category: Article
ISSN: 0168-0072
DOI: 10.1016/j.apal.2004.04.009

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Visualizing Semantic Web proofs of defea

Visualizing Semantic Web proofs of defeasible logic in the DR-DEVICE system

✍ Efstratios Kontopoulos; Nick Bassiliades; Grigoris Antoniou 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 858 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

Logic of proofs and provability

✍ Tatiana Yavorskaya (Sidon) 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 216 KB

In the paper the joint Logic of Proofs and Provability LPP is presented that incorporates both the modality for provability (Israel J. Math. 25 (1976) 287-304) and the proof operator <t=F representing the proof predicate "t is a proof of F " (Technical Report No. CFIS 95-29, Cornell University, 1995

On the Semantics of Comparative Logic

✍ Pierluigi Minari 📂 Article 📅 1988 🏛 John Wiley and Sons 🌐 English ⚖ 781 KB

The semantics of constraint logic progra

The semantics of constraint logic programs

✍ Joxan Jaffar; Michael Maher; Kim Marriott; Peter Stuckey 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 350 KB

The Constraint Logic Programming (CLP) Scheme was introduced by Jaar and Lassez. The scheme gave a formal framework, based on constraints, for the basic operational, logical and algebraic semantics of an extended class of logic programs. This paper presents for the ®rst time the semantic foundations