Sciweavers

Share
JAPLL
2007

Fresh Logic: proof-theory and semantics for FM and nominal techniques

9 years 11 months ago
Fresh Logic: proof-theory and semantics for FM and nominal techniques
In this paper we introduce Fresh Logic, a natural deduction style first-order logic extended with term-formers and quantifiers derived from the model of names and binding in abstract syntax. Fresh Logic can be classical or intuitionistic depending on whether we include a law of excluded middle; we present a proof-normalisation procedure for the intuitionistic case and a semantics based on Kripke models in FM-sets for which it is sound and complete. Contents
Murdoch Gabbay
Added 15 Dec 2010
Updated 15 Dec 2010
Type Journal
Year 2007
Where JAPLL
Authors Murdoch Gabbay
Comments (0)
books