Cut elimination for entailment relations
type: Item
instance of: scholarly article
title: Cut elimination for entailment relations
zbMATH Open document ID: 1477.03243
author: Davide Rinaldi
author: Daniel Wessel
published in: Archive for Mathematical Logic
publication date: 2019-07-04T00:00:00Z
Mathematics Subject Classification ID: 03F05
Mathematics Subject Classification ID: 03F65
Mathematics Subject Classification ID: 13J25
zbMATH DE Number: 7077052
zbMATH Keywords: entailment relations
zbMATH Keywords: cut elimination
zbMATH Keywords: constructive mathematics
describes a project that uses: Pesca
MaRDI profile type: MaRDI publication profile
full work available at URL: s00153-018-0653-0
OpenAlex ID: W2902872320
cites work: Q4944905
cites work: Geometric Hahn-Banach theorem
cites work: Hidden constructions in abstract algebra. Krull Dimension of distributive lattices and commutative rings
cites work: A logical approach to abstract algebra
cites work: Lattice-ordered groups generated by an ordered group and regular systems of ideals
cites work: Q5718574
cites work: Q5437178
cites work: Formal topologies on the set of first-order formulae
cites work: Inductively generated formal topologies.
cites work: Q2753679
cites work: Dynamical method in algebra: Effective Nullstellensätze
cites work: Finite Methods in Mathematical Practice
cites work: Q4365300
cites work: Q5509706
cites work: Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik
cites work: Q3965241
cites work: Constructive rereading of Artin-Schreier theory
cites work: Dynamical algebraic structures, pointfree topological spaces and Hilbert's program. (Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert)
cites work: Commutative algebra: constructive methods. Finite projective modules. Translated from the French by Tania K. Roblot
cites work: Algebraische und logistische Untersuchungen über freie Verbände
cites work: Die Erweiterung halbgeordneter Gruppen zu Verbandsgruppen
cites work: Q4552743
cites work: Cut Elimination in the Presence of Axioms
cites work: Structural proof theory. With an appendix by Aarne Ranta
cites work: Proof Analysis
cites work: Concepts of proof in mathematics, philosophy, and computer science. Based on the Humboldt-Kolleg, Bern, Switzerland, September 9--13, 2013
cites work: On preserving
cites work: Remarks on the Scott-Lindenbaum theorem
cites work: A constructive notion of codimension
cites work: The basic Zariski topology
cites work: A universal Krull-Lindenbaum theorem
cites work: ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION
cites work: Eliminating disjunctions by disjunction elimination
cites work: Q4553278
cites work: Clausal logic and logic programming in algebraic domains
cites work: Q3481701
cites work: Some points in formal topology.
cites work: Q4079581
cites work: Q4159022
cites work: Ordering groups constructively
Wikidata QID: Q128822618
DOI: 10.1007/S00153-018-0653-0
description: scientific article; zbMATH DE number 7077052