Observatorio de I+D+i UPM

Memorias de investigación
Research Publications in journals:
Fresh Logic: proof-theory and semantics for FM and nominal techniques
Year:2007
Research Areas
  • Programming language
Information
Abstract
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 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.
International
Si
JCR
No
Title
Journal of Applied Logic
ISBN
1570-8683
Impact factor JCR
0
Impact info
Volume
5
Journal number
2
From page
356
To page
387
Month
SIN MES
Ranking
Participants
  • Autor: Murdoch Gabbay (UPM)
Research Group, Departaments and Institutes related
  • Creador: No seleccionado
S2i 2020 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)