Ancestral Logic: A Proof Theoretical Study

DOI10.1007/978-3-662-44145-9_10MaRDI QIDQ2938136zbMATH OpenOpenAlexFDO

Authors Liron Cohen, Arnon Avron

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

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Proof theory in general (including proof-theoretic semantics) (03F03) Mechanization of proofs and logical operations (03B35)

Recommendations

• Intuitionistic ancestral logic
• Completeness for ancestral logic via a computationally-meaningful semantics
• The roots of logical hylomorphism
• scientific article; zbMATH DE number 4104926
• scientific article; zbMATH DE number 3957045
• Ancestral Kripke models and nonhereditary Kripke models for the Heyting propositional calculus
• The evolution of logic
• Intuitionistic ancestral logic as a dependently typed abstract programming language
• scientific article; zbMATH DE number 1932898
• Logical structures and genus of proofs

Cited in

(10)

• Intuitionistic ancestral logic as a dependently typed abstract programming language
• Uniform Inductive Reasoning in Transitive Closure Logic via Infinite Descent
• scientific article; zbMATH DE number 5255443 (Why is no real title available?)
• Geometric Rules in Infinitary Logic
• Intuitionistic ancestral logic
• Non-well-founded proof theory of transitive closure logic
• The middle ground-ancestral logic
• Non-well-founded deduction for induction and coinduction
• Integrating induction and coinduction via closure operators and proof cycles
• Completeness for ancestral logic via a computationally-meaningful semantics

This page was built for publication: Ancestral Logic: A Proof Theoretical Study

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