PURE LOGIC OF ITERATED FULL GROUND

DOI10.1017/S1755020317000211OpenAlexW2884050650WikidataQ129516567 ScholiaQ129516567MaRDI QIDQ4961738

Jon Erling Litland

Publication date: 25 October 2018

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1755020317000211

zbMATH Keywords

natural deductionexplanationgroundinversion principlelogic of grounditerated ground

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Proof theory and constructive mathematics (03F99)

Related Items (1)

Prospects for a theory of decycling

Cites Work

• Unnamed Item
• Unnamed Item
• On defining the notion of complete and immediate formal grounding
• General-elimination harmony and the meaning of the logical constants
• Some puzzles of ground
• An impure logic of representational grounding
• On constructing a logic for the notion of complete and immediate formal grounding
• Pure logic of many-many ground
• LOGICAL GROUNDS
• A LOGIC FOR ‘BECAUSE’
• A natural extension of natural deduction
• Could the grounds’s grounding the grounded ground the grounded?
• ON WEAK GROUND
• THE PURE LOGIC OF GROUND
• The Construction of Logical Space

This page was built for publication: PURE LOGIC OF ITERATED FULL GROUND