Single-domain free logic and the problem of compositionality

DOI10.1007/S11229-020-02651-XMaRDI QIDQ6067309zbMATH OpenOpenAlexFDO

Authors Dolf Rami

Publication date 14 December 2023

Published in Synthese (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/s11229-020-02651-x

zbMATH Keywords

compositionalityempty namesexistencefree logicfree modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• Combinators and structurally free logic
• A compositional semantics for logic programs
• First-order logic without bound variables: compositional semantics
• Satisfiability in composition-nominative logics
• Abstraction problems in combinatory logic: A compositive approach
• Combinatory logic and the semantics of substructural logics
• A more unified approach to free logics
• Program Development in Computational Logic
• Compositional satisfiability solving in separation logic
• Compositional Semantics for the Procedural Interpretation of Logic

Cites work

• A fully logical inductive logic
• An introduction to non-classical logic. From if to is
• Empty Names
• First-order modal logic
• Handbook of philosophical logic. Vol. 6
• scientific article; zbMATH DE number 1028821 (Why is no real title available?)
• scientific article; zbMATH DE number 1852921 (Why is no real title available?)
• scientific article; zbMATH DE number 3236049 (Why is no real title available?)
• scientific article; zbMATH DE number 3271472 (Why is no real title available?)
• Many-valued logic and fuzzy set theory
• Modal Logic as Metaphysics
• Names and their kind of rigidity
• Strict Fregean free logic

This page was built for publication: Single-domain free logic and the problem of compositionality

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