Substitution structures

DOI10.1007/s10992-019-09505-zzbMath1457.03028OpenAlexW4252840855MaRDI QIDQ2295599

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

higher-order logicmonoidssubstitutionhyperintensionalitystructured propositionshigher-order metaphysicscategory of M-setshyperintensional metaphysicspropositional granularity

Mathematics Subject Classification ID

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

Related Items (2)

THE SEMANTIC FOUNDATIONS OF PHILOSOPHICAL ANALYSIS ⋮ Identity and aboutness

Cites Work

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

This page was built for publication: Substitution structures