Universally free logic and standard quantification theory

DOI10.2307/2270048zbMath0175.26103OpenAlexW1967662727MaRDI QIDQ5565078

Robert K. Meyer, Karel Lambert

Publication date: 1968

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2270048

zbMATH Keywords

general logic

Related Items

Strict Fregean free logic, Proof-theory and semantics for a theory of definite descriptions, A liberated version of S5, Jaśkowski's universally free logic, The semantics of generic THE, Problems for Logical Pluralism, A definition of truth for theories with intensional definite description operators, Proto-semantics for positive free logic

Cites Work

• Logic and language. Studies dedicated to Professor Rudolf Carnap of the occasion of his seventieth birthday
• Existential import revisited