The middle ground-ancestral logic
From MaRDI portal
Publication:2053352
DOI10.1007/s11229-015-0784-3zbMath1475.03082OpenAlexW597057215MaRDI QIDQ2053352
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
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
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