A free logic with simple and complex predicates

DOI10.1305/NDJFL/1093636615zbMATH Open0614.03010OpenAlexW1989331458MaRDI QIDQ1820146FDOQ1820146

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

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

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)

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)