Toward a generalization of the logic of grounding

DOI10.1387/theoria.21162zbMath1478.03012OpenAlexW3036703856MaRDI QIDQ5004613

Nissim Francez, Francesca Poggiolesi

Publication date: 2 August 2021

Published in: THEORIA. An International Journal for Theory, History and Foundations of Science (Search for Journal in Brave)

Full work available at URL: http://philsci-archive.pitt.edu/18720/1/def_21162_Poggiolesi_Theoria36-1.pdf

zbMATH Keywords

logicgroundingexclusive and ternary disjunction

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On defining the notion of complete and immediate formal grounding
• On constructing a logic for the notion of complete and immediate formal grounding
• Axiomatic theories of partial ground. I: The base theory
• HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
• Grounding principles for (relevant) implication
• ON THE LOGIC OF FACTUAL EQUIVALENCE
• LOGICAL GROUNDS
• THE PURE LOGIC OF GROUND
• BOLZANO’S CONCEPT OF GROUNDING (ABFOLGE) AGAINST THE BACKGROUND OF NORMAL PROOFS