Existential import revisited

DOI10.1305/ndjfl/1093957655zbMath0139.24409OpenAlexW2087011376MaRDI QIDQ2522269

Karel Lambert

Publication date: 1963

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093957655

zbMATH Keywords

mathematical logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (9)

Universally free logic and standard quantification theory ⋮ The permutation principle in quantificational logic ⋮ Fuzzy free logic with dual domain semantics ⋮ Life on the Range: Quine’s Thesis and Semantic Indeterminacy ⋮ Jaśkowski's universally free logic ⋮ Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different ⋮ A partial functions version of Church's simple theory of types ⋮ Atomic ontology ⋮ Proto-semantics for positive free logic

This page was built for publication: Existential import revisited