The middle ground-ancestral logic

DOI10.1007/S11229-015-0784-3MaRDI QIDQ2053352zbMATH OpenOpenAlexFDO

Authors 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

proof theorycut eliminationGentzen-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)

Recommendations

• Ancestral Logic: A Proof Theoretical Study
• The logic of ground
• The original position: a logical analysis
• Intuitionistic ancestral logic
• Between history and logic
• Logic and natural selection
• scientific article; zbMATH DE number 5255443
• The evolution of logic
• scientific article; zbMATH DE number 3957045

Cites work

• scientific article; zbMATH DE number 50939 (Why is no real title available?)
• scientific article; zbMATH DE number 1302507 (Why is no real title available?)
• scientific article; zbMATH DE number 1497485 (Why is no real title available?)
• scientific article; zbMATH DE number 5255443 (Why is no real title available?)
• scientific article; zbMATH DE number 3299687 (Why is no real title available?)
• scientific article; zbMATH DE number 3196255 (Why is no real title available?)
• A Framework for Formalizing Set Theories Based on the Use of Static Set Terms
• A derivation of number theory from ancestral theory
• A homogeneous system for formal logic
• A note on nominalism and recursive functions
• Ancestral Logic: A Proof Theoretical Study
• Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie
• Finite Model Theory
• Mathematical Knowledge Management
• Proof theory. The first step into impredicativity
• Syntactical and semantical properties of generalized quantifiers
• Thirty-five years of automating mathematics. Dedicated to 35 years of de Bruijn's Automath
• Untersuchungen über das logische Schliessen. I

Cited in

(9)

• Why Predicative Sets?
• Plural ancestral logic as the logic of arithmetic
• Intuitionistic ancestral logic as a dependently typed abstract programming language
• Geometric Rules in Infinitary Logic
• Weyl reexamined: ``Das Kontinuum 100 years later
• Analysis in a formal predicative set theory
• Intuitionistic ancestral logic
• Non-well-founded deduction for induction and coinduction
• Integrating induction and coinduction via closure operators and proof cycles

Describes a project that uses

Uses Software

• Nuprl
• Mizar

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

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