Publicidad

Publicidad

becas.universia.netBiblioteca.Net

Buscar recursos:

Buscador Google

Contrastive Logic

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

Marcadores Sociales
Contrastive Logic
Id. 46494269
Idioma inglés
Titulo Contrastive Logic
Autor(es) Nissim Francez Computer
Localización http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.38.378
Versión 1.0
Estado Final
Descripción In this paper I introduce the notion of bilogics, namely logics interpreted over a pair of structures, in contrast to classical logic and many of its variations, the formulae of which are interpreted over one structure. In particular, I introduce and study Contrastive Logic, suitable for expressing contrast and conformity between the two structures involved. A major reason for this study is striving towards an extension of truth-conditional semantics to cover several natural-language particles, which have been hitherto considered not to be amenable to such an extensional treatment, and were delegated to the level of non-extensional pragmatics. Examples of such particles are but and already. Keywords: contrastive logic, bilogic, NL semantics, contrast, but, already 1 Introduction The traditional semantics of most logical systems is such that a (closed) formula is interpreted as a statement about satisfaction in one structure, called a model of that formula. Satisfaction is then natu...
Tipo application/postscript
Palabras clave contrastive logic
Tipo de recurso Texto Narrativo
Tipo de Interactividad Expositivo
Nivel de Interactividad muy bajo
Audiencia Estudiante
Profesor
Autor
Estructura Atomic
Coste no
Copyright
Metadata may be used without restrictions as long as the oai identifier remains attached to it.
Formatos application/postscript
Requerimientos técnicos Browser: Any
Relación [IsBasedOn] ftp://ftp.mpi-sb.mpg.de/pub/igpl/Journal/V3-5/Frances.ps.gz
[References] 10.1.1.77.3656
[References] 10.1.1.22.9773
Fecha de contribución 29-jul-2009
Contacto

Valoración de los usuarios

No hay ninguna valoración para este recurso. Sea el primero en valorar este recurso.