Semantic Deviations
- 1 January 1973
- book chapter
- Published by Elsevier in Studies in Logic and the Foundations of Mathematics
- Vol. 68, 1-16
- https://doi.org/10.1016/s0049-237x(08)71531-3
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Truth-Functionality and the Ramified Theory of TypesPublished by Elsevier ,1973
- A simplified account of validity and implication for quantificational logicThe Journal of Symbolic Logic, 1968
- Modal Logics I: Modalities and Intensional LanguagesPublished by Springer Nature ,1963
- Syntactical and semantical properties of simple type theoryThe Journal of Symbolic Logic, 1960
- A completeness theorem in modal logicThe Journal of Symbolic Logic, 1959
- Banishing the rule of substitution for functional variablesThe Journal of Symbolic Logic, 1953
- Completeness in the theory of typesThe Journal of Symbolic Logic, 1950