The middle ground-ancestral logic
type: Item
instance of: scholarly article
title: The middle ground-ancestral logic
zbMATH Open document ID: 1475.03082
author: Liron Cohen
author: Arnon Avron
published in: Synthese
publication date: 2021-11-29T00:00:00Z
Mathematics Subject Classification ID: 03B60
Mathematics Subject Classification ID: 03F05
Mathematics Subject Classification ID: 03A05
zbMATH DE Number: 7435321
zbMATH Keywords: ancestral logic
zbMATH Keywords: proof theory
zbMATH Keywords: Gentzen-style system
zbMATH Keywords: cut elimination
describes a project that uses: Mizar
describes a project that uses: Nuprl
MaRDI profile type: Publication
full work available at URL: s11229-015-0784-3
OpenAlex ID: W597057215
cites work: Mathematical Knowledge Management
cites work: A Framework for Formalizing Set Theories Based on the Use of Static Set Terms
cites work: Ancestral Logic: A Proof Theoretical Study
cites work: Q4249037
cites work: Finite Model Theory
cites work: Untersuchungen über das logische Schliessen. I
cites work: Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie
cites work: Q5732647
cites work: Thirty-five years of automating mathematics. Dedicated to 35 years of de Bruijn's Automath
cites work: A homogeneous system for formal logic
cites work: A note on nominalism and recursive functions
cites work: A derivation of number theory from ancestral theory
cites work: Proof theory. The first step into impredicativity
cites work: Q5581592
cites work: Q4001345
cites work: Q5454218
cites work: Q4499084
cites work: Syntactical and semantical properties of generalized quantifiers
DOI: 10.1007/S11229-015-0784-3
Recommended article: Ancestral Logic: A Proof Theoretical Study
Recommended article: The logic of ground
Recommended article: Q5878368
Recommended article: Intuitionistic ancestral logic
Recommended article: Q5459637
Recommended article: Logic and natural selection
Recommended article: Q5454218
Recommended article: Q3164469
Recommended article: Q3726077
description: scientific article; zbMATH DE number 7435321