A Variant of Thomason's First-Order Logic CF Based on Situations
|
Descargar SCORM
Este recurso ha sido solicitado 1 veces (0 veces en los últimos 31 días).
Para poder solicitar este recurso debe identificarse como usuario de la biblioteca
|
| |
Ver
Detalles del recurso
|
|
|
A Variant of Thomason's First-Order Logic CF Based on Situations
|
| Id. |
979738 |
| Idioma |
inglés
|
| Titulo |
A Variant of Thomason's First-Order Logic CF Based on Situations |
| Autor(es) |
Wang, Xuegang
Mott, Peter
|
| Localización |
http://projecteuclid.org/euclid.ndjfl/1039293021
Notre Dame J. Formal Logic 39, no. 1 (1998), 74-93
doi:10.1305/ndjfl/1039293021
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
In this paper, we define a first-order logic CF? with strong
negation and bounded static quantifiers, which is a variant of Thomason's logic
CF. For the logic CF?, the usual Kripke formal semantics is defined
based on situations, and a sound and complete axiomatic system is established based on the
axiomatic systems of constructive logics with strong negation and Thomason's
completeness proof techniques. With the use of bounded quantifiers, CF? allows the domain of quantification to be empty and allows for nondenoting constants.
CF? is intended as a fragment of a logic for situation theory. Thus the
connection between CF? and infon logic is discussed.
|
| Tipo |
application/pdf
|
| Palabras clave |
03B60
|
| Tipo de recurso |
Text
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
|
Copyright 1998 Duke University Press |
| Formatos |
application/pdf
|
| Requerimientos técnicos |
Browser: Any
|
| Fecha de contribución |
21-nov-2008 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
