Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semantics / edited by Hugues Leblanc.

Por: Conference on Alternative Semantics (1970 : Temple University)Colaborador(es): Leblanc, Hugues, 1924- [edt] | Temple University. College of Liberal Arts | Association for Symbolic LogicSeries Studies in logic and the foundations of mathematics ; v. 68Editor: Amsterdam : North-Holland, 1973Descripción: 317 p. ; 23 cmTema(s): Logic, Symbolic and mathematical -- Congresses | Semantics -- CongressesOtra clasificación: 03B45 (03-06 03B47)
Contenidos:
Hugues Leblanc, Semantic deviationsNuel D. Belnap, Jr. and Dorothy L. Grover, Quantifying in and out of quotesNuel D. Belnap, Jr., Restricted quantification and conditional assertionDonald Davidson, In defense of convention $T$J. Michael Dunn, A truth value semantics for modal logicDorothy L. Grover, Propositional quantification and quotation contextsLeon Henkin, Internal semantics and algebraic logicJaakko Hintikka, Surface semantics: definition and its motivationHugues Leblanc and George Weaver, Truth-functionality and the ramified theory of typesRobert K. Meyer, Intuitionism, entailment, negationRichard Routley and Robert K. Meyer, The semantics of entailmentDana S. Scott, Background to formalizationRaymond M. Smullyan, A generalization of intuitionistic and modal logicsRichmond H. Thomason, Philosophy and formal semanticsGeorge Weaver, Logical consequence in modal logic: alternative semantic systems for normal modal logics.
    Average rating: 0.0 (0 votes)
Item type Home library Shelving location Call number Materials specified Status Date due Barcode
Libros Libros Instituto de Matemática, CONICET-UNS
Libros ordenados por tema 03 C748 (Browse shelf) Available A-4095

La conferencia se realizó el 29 y 30 de diciembre de 1970, auspiciada por el College of Liberal Arts of Temple University y la Association for Symbolic Logic.

Incluye referencias bibliográficas.

Hugues Leblanc, Semantic deviations -- Nuel D. Belnap, Jr. and Dorothy L. Grover, Quantifying in and out of quotes -- Nuel D. Belnap, Jr., Restricted quantification and conditional assertion -- Donald Davidson, In defense of convention $T$ -- J. Michael Dunn, A truth value semantics for modal logic -- Dorothy L. Grover, Propositional quantification and quotation contexts -- Leon Henkin, Internal semantics and algebraic logic -- Jaakko Hintikka, Surface semantics: definition and its motivation -- Hugues Leblanc and George Weaver, Truth-functionality and the ramified theory of types -- Robert K. Meyer, Intuitionism, entailment, negation -- Richard Routley and Robert K. Meyer, The semantics of entailment -- Dana S. Scott, Background to formalization -- Raymond M. Smullyan, A generalization of intuitionistic and modal logics -- Richmond H. Thomason, Philosophy and formal semantics -- George Weaver, Logical consequence in modal logic: alternative semantic systems for normal modal logics.

MR, 49 #7113

There are no comments on this title.

to post a comment.

Click on an image to view it in the image viewer

¿Necesita ayuda?

Si necesita ayuda para encontrar información, puede visitar personalmente la biblioteca en Av. Alem 1253 Bahía Blanca, llamarnos por teléfono al 291 459 5116, o enviarnos un mensaje a biblioteca.antonio.monteiro@gmail.com

Powered by Koha