Proto-semantics for positive free logic

DOI10.1023/A:1004748615483MaRDI QIDQ1576387zbMATH OpenOpenAlexFDO

Authors 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

Beth definabilitybivalent extensional semanticscompactnesscompletenessCraig interpolationdenotationmodel theorypositive free logic

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1749197
• State-of-affairs semantics for positive free logic
• Denotation and description in free logic*
• Free logic and the concept of existence

Cites work

• An axiomatic basis for computer programming
• Completeness theorems for some presupposition-free logics
• Existential import revisited
• Free logic and the concept of existence
• scientific article; zbMATH DE number 65743 (Why is no real title available?)
• scientific article; zbMATH DE number 3542383 (Why is no real title available?)
• scientific article; zbMATH DE number 1028821 (Why is no real title available?)
• scientific article; zbMATH DE number 1040351 (Why is no real title available?)
• scientific article; zbMATH DE number 3393925 (Why is no real title available?)
• Model theory.
• On supervaluations in free logic
• Strict Fregean free logic
• Universally free logic and standard quantification theory

Cited in

(11)

• Intension, designation, and extension
• State-of-affairs semantics for positive free logic
• Neutral free logic: motivation, proof theory and models
• A possibility-free logic of descriptions
• Classical logic with non-referring names
• States of affairs as structured extensions in free logic
• Free semantics
• Positive Free Higher-Order Logic and Its Automation via a Semantical Embedding
• A fundamental completeness theorem for bivalent free logics
• A more unified approach to free logics
• A state-of-affairs-semantic solution to the problem of extensionality in free logic

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

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