Grounding rules and (hyper-)isomorphic formulas

MaRDI QIDQ5149061zbMATH OpenFDO

Authors Francesca Poggiolesi

Publication date 6 February 2021

Full work available at URL https://ojs.victoria.ac.nz/ajl/article/view/5694/5614

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03)

Recommendations

• Grounding rules for (relevant) implication
• THE PURE LOGIC OF GROUND
• Grounding principles for (relevant) implication
• On reduction rules, meaning-as-use, and proof-theoretic semantics
• A note on harmony

Cited in

(3)

• A note on synonymy in proof-theoretic semantics
• Ground first: against the proof-theoretic definition of ground
• Intertranslatability and ground-equivalence

This page was built for publication: Grounding rules and (hyper-)isomorphic formulas

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