Free Logics
- 1 January 1986
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 38 references indexed in Scilit:
- Compactness of a supervaluational languageThe Journal of Symbolic Logic, 1983
- A weak free logic with the existence sign.Notre Dame Journal of Formal Logic, 1980
- Free SemanticsPublished by Springer Nature ,1980
- A semantics for a weak free logic.Notre Dame Journal of Formal Logic, 1978
- Free semantics for indefinite descriptionsJournal of Philosophical Logic, 1978
- Set theory and free logicJournal of Philosophical Logic, 1976
- Truth and Singular TermsNoûs, 1974
- A definition of truth for theories with intensional definite description operatorsJournal of Philosophical Logic, 1972
- Karel Lambert. Existential import revisited. Notre Dame journal of formal logic, vol. 4 no. 4 (for 1963, pub. 1964), pp. 288–292.The Journal of Symbolic Logic, 1965
- Quantification theory and empty individual-domainsThe Journal of Symbolic Logic, 1953