Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semantics / edited by Hugues Leblanc.
Series 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)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.
Item type | Home library | Shelving location | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Libros | Instituto de Matemática, CONICET-UNS | Libros ordenados por tema | 03 C748 (Browse shelf) | Available | A-4095 |
Browsing Instituto de Matemática, CONICET-UNS shelves, Shelving location: Libros ordenados por tema Close shelf browser
03 C564l-2 The limits of science : | 03 C678 Set theory and the continuum hypothesis / | 03 C714-1975 Colloque international de logique : | 03 C748 Truth, syntax and modality : | 03 C748-4 Proceedings of the Conference "Algebra and Logic," Zagreb, 1984 / | 03 C749-12 Atti del XII Congresso Internazionale di Filosofia : | 03 C758 Teoria multimilor / |
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.