The middle ground-ancestral logic

DOI10.1007/s11229-015-0784-3zbMath1475.03082OpenAlexW597057215MaRDI QIDQ2053352

Liron Cohen, Arnon Avron

Publication date: 29 November 2021

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-015-0784-3

zbMATH Keywords

cut eliminationproof theoryGentzen-style systemancestral logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05) Cut-elimination and normal-form theorems (03F05)

Related Items (6)

Why Predicative Sets? ⋮ Analysis in a formal predicative set theory ⋮ WEYL REEXAMINED: “DAS KONTINUUM” 100 YEARS LATER ⋮ Non-well-founded deduction for induction and coinduction ⋮ Integrating induction and coinduction via closure operators and proof cycles ⋮ Geometric Rules in Infinitary Logic

Uses Software

• Mizar
• Nuprl

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Thirty-five years of automating mathematics. Dedicated to 35 years of de Bruijn's Automath
• Proof theory. The first step into impredicativity
• Untersuchungen über das logische Schliessen. I
• Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie
• Ancestral Logic: A Proof Theoretical Study
• Mathematical Knowledge Management
• A Framework for Formalizing Set Theories Based on the Use of Static Set Terms
• Syntactical and semantical properties of generalized quantifiers
• Finite Model Theory
• A note on nominalism and recursive functions
• A derivation of number theory from ancestral theory
• A homogeneous system for formal logic

This page was built for publication: The middle ground-ancestral logic