Substitution structures

DOI10.1007/S10992-019-09505-ZMaRDI QIDQ2295599zbMATH OpenOpenAlexFDO

Authors Andrew Bacon

Publication date 14 February 2020

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

Full work available at URL https://doi.org/10.1007/s10992-019-09505-z

zbMATH Keywords

category of M-setshigher-order logichigher-order metaphysicshyperintensional metaphysicshyperintensionalitymonoidspropositional granularitystructured propositionssubstitution

Mathematics Subject Classification ID

Higher-order logic (03B16) Type theory (03B38) Combinatory logic and lambda calculus (03B40)

Cites work

• A theory of truthmaker content. I: Conjunction, disjunction and negation
• A theory of truthmaker content. II: Subject-matter, common content, remainder and ground
• General semantics
• Higher-order contingentism. I: Closure and generation
• scientific article; zbMATH DE number 3485758 (Why is no real title available?)
• scientific article; zbMATH DE number 194356 (Why is no real title available?)
• scientific article; zbMATH DE number 1846783 (Why is no real title available?)
• Hyperintensional logic
• Kripke-style models for typed lambda calculus
• Monoids, acts and categories. With applications to wreath products and graphs. A handbook for students and researchers
• Nominalism Through De‐Nominalization
• On the axiom of extensionality – Part I
• Properties, propositions and sets
• Reality is not structured
• Structured meanings and reflexive domains
• The broadest necessity
• Vagueness and thought
• Why ramify?

Cited in

(8)

• Identity and aboutness
• THE SEMANTIC FOUNDATIONS OF PHILOSOPHICAL ANALYSIS
• Grounding and defining identity
• Wavefunction realism does not `privilege position'
• Necessity in the highest degree
• The logic of logical necessity
• The levels of scientific disciplines
• The algebra of logical atomism

This page was built for publication: Substitution structures

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