Proto-semantics for positive free logic

DOI10.1023/A:1004748615483zbMath0953.03033OpenAlexW2137540712MaRDI QIDQ1576387

Gian Aldo Antonelli

Publication date: 29 January 2001

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

Full work available at URL: https://doi.org/10.1023/a:1004748615483

zbMATH Keywords

completenesscompactnessmodel theoryCraig interpolationBeth definabilitydenotationpositive free logicbivalent extensional semantics

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05) Interpolation, preservation, definability (03C40)

Related Items (4)

A more unified approach to free logics ⋮ A state-of-affairs-semantic solution to the problem of extensionality in free logic ⋮ Neutral free logic: motivation, proof theory and models ⋮ States of Affairs as Structured Extensions in Free Logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Model theory.
• Strict Fregean free logic
• Existential import revisited
• Free logic and the concept of existence
• On supervaluations in free logic
• Completeness theorems for some presupposition-free logics
• Universally free logic and standard quantification theory
• An axiomatic basis for computer programming

This page was built for publication: Proto-semantics for positive free logic