A free logic with simple and complex predicates

DOI10.1305/NDJFL/1093636615MaRDI QIDQ1820146zbMATH OpenOpenAlexFDO

Authors Karel Lambert, Ermanno Bencivenga

Publication date 1986

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

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

zbMATH Keywords

semanticsfree logicexistential implications of atomic sentences

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05) Logic of natural languages (03B65)

Recommendations

• scientific article; zbMATH DE number 1749197
• Free logic and the concept of existence
• Objects and existence: Reflections on free logic
• Free logics: a survey
• Subject-predicate calculus free from existential import

Cited in

(5)

• Two treatments of definite descriptions in intuitionist negative free logic
• Definite descriptions in intuitionist positive free logic
• A basic free logic
• Actualism, serious actualism, and quantified modal logic
• Incomplete assertions

This page was built for publication: A free logic with simple and complex predicates

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1820146)