The middle ground-ancestral logic

DOI10.1007/S11229-015-0784-3zbMATH Open1475.03082OpenAlexW597057215MaRDI QIDQ2053352FDOQ2053352

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

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

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)

Cites Work

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

Cited In (9)

• 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
• Why Predicative Sets?

Uses Software

• Mizar
• Nuprl

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)