PURE LOGIC OF ITERATED FULL GROUND

DOI10.1017/S1755020317000211MaRDI QIDQ4961738zbMATH OpenOpenAlexWikidataFDO

Authors 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

explanationgroundinversion principleiterated groundlogic of groundnatural deduction

Mathematics Subject Classification ID

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

Recommendations

• Pure logic of many-many ground
• Pure inductive logic
• Floyd-Hoare logic in iteration theories
• A fully logical inductive logic
• Full intuitionistic linear logic
• scientific article; zbMATH DE number 2068678
• Pure Logic with Branched Quantifiers
• Pure strict implication logics
• Pure second-order logic
• Strong Completeness of a Pure Free Logic

Cites work

• A logic for `because'
• A natural extension of natural deduction
• An impure logic of representational grounding
• Could the grounds's grounding the grounded ground the grounded?
• General-elimination harmony and the meaning of the logical constants
• Grounding and truth-functions
• scientific article; zbMATH DE number 3333259 (Why is no real title available?)
• LOGICAL GROUNDS
• On constructing a logic for the notion of complete and immediate formal grounding
• On defining the notion of complete and immediate formal grounding
• On weak ground
• Pure logic of many-many ground
• Some puzzles of ground
• The construction of logical space
• THE PURE LOGIC OF GROUND

Cited in

(9)

• Perfect Pavelka logic
• The logic of ground
• Pure logic of many-many ground
• Prospects for a theory of decycling
• Iterated reflection over full disquotational truth
• THE PURE LOGIC OF GROUND
• Grounding and defining identity
• Ground first: against the proof-theoretic definition of ground
• Progressive logic

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

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