|
Descripción
|
|
|---|---|
| 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. | |
|
Internacional
|
Si |
|
JCR del ISI
|
No |
|
Título de la revista
|
Journal of Applied Logic |
|
ISSN
|
1570-8683 |
|
Factor de impacto JCR
|
0 |
|
Información de impacto
|
|
|
Volumen
|
5 |
|
DOI
|
|
|
Número de revista
|
2 |
|
Desde la página
|
356 |
|
Hasta la página
|
387 |
|
Mes
|
SIN MES |
|
Ranking
|
|