Switch to: References

Add citations

You must login to add citations.
  1. A Completenesss Theorem for a 3-Valued Semantics for a First-order Language.Christopher Gauker - manuscript
    This document presents a Gentzen-style deductive calculus and proves that it is complete with respect to a 3-valued semantics for a language with quantifiers. The semantics resembles the strong Kleene semantics with respect to conjunction, disjunction and negation. The completeness proof for the sentential fragment fills in the details of a proof sketched in Arnon Avron (2003). The extension to quantifiers is original but uses standard techniques.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Bibliografía Hispánica de filosofía elenco 2014.Javier Ramos - 2014 - Pensamiento 70 (264):628-668.
    Para la redacción del elenco se han tenido en cuenta las publicaciones de filosofía durante el año 2013. Los fondos principales de referencia han sido los de la Biblioteca de la Universidad Pontificia Comillas. El criterio lingüístico ha sido el de incluir todas las publicaciones en castellano y lenguas cooficiales de España, en cualquier revista de cualquier país. Por otro lado, hemos registrado los artículos en idiomas no oficiales de España cuando éstos aparecen en publicaciones españolas o hispanoamericanas. Agradeceremos en (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark