Ancestral Logic: A Proof Theoretical Study
From MaRDI portal
Publication:2938136
DOI10.1007/978-3-662-44145-9_10zbMath1429.03113OpenAlexW142182469MaRDI QIDQ2938136
Publication date: 13 January 2015
Published in: Logic, Language, Information, and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-662-44145-9_10
Other nonclassical logic (03B60) Mechanization of proofs and logical operations (03B35) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items (6)
Intuitionistic Ancestral Logic as a Dependently Typed Abstract Programming Language ⋮ Uniform Inductive Reasoning in Transitive Closure Logic via Infinite Descent ⋮ The middle ground-ancestral logic ⋮ Non-well-founded deduction for induction and coinduction ⋮ Integrating induction and coinduction via closure operators and proof cycles ⋮ Geometric Rules in Infinitary Logic
This page was built for publication: Ancestral Logic: A Proof Theoretical Study
