Ancestral Logic: A Proof Theoretical Study

DOI10.1007/978-3-662-44145-9_10zbMATH Open1429.03113OpenAlexW142182469MaRDI QIDQ2938136FDOQ2938136

Arnon Avron, Liron Cohen

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

Recommendations

• Intuitionistic ancestral logic
• Completeness for ancestral logic via a computationally-meaningful semantics
• The roots of logical hylomorphism
• scientific article
• 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

Mathematics Subject Classification ID

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

Cited In (8)

• Uniform Inductive Reasoning in Transitive Closure Logic via Infinite Descent
• Title not available (Why is that?)
• Geometric Rules in Infinitary Logic
• Intuitionistic Ancestral Logic as a Dependently Typed Abstract Programming Language
• 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)