Substitution structures
From MaRDI portal
Publication:2295599
DOI10.1007/s10992-019-09505-zzbMath1457.03028OpenAlexW4252840855MaRDI QIDQ2295599
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
higher-order logicmonoidssubstitutionhyperintensionalitystructured propositionshigher-order metaphysicscategory of M-setshyperintensional metaphysicspropositional granularity
Related Items (2)
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