Cut elimination for entailment relations

DOI10.1007/s00153-018-0653-0zbMath1477.03243OpenAlexW2902872320WikidataQ128822618 ScholiaQ128822618MaRDI QIDQ2312091

Davide Rinaldi, Daniel Wessel

Publication date: 4 July 2019

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-018-0653-0

zbMATH Keywords

cut eliminationconstructive mathematicsentailment relations

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Other constructive mathematics (03F65) Ordered rings (13J25)

Related Items (9)

THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY ⋮ A universal algorithm for Krull's theorem ⋮ Point-Free Spectra of Linear Spreads ⋮ Ribenboim's order extension theorem from a constructive point of view ⋮ The Hahn-Banach theorem by disjunction elimination ⋮ Ordering groups constructively ⋮ Towards formal Baer criteria ⋮ The computational significance of Hausdorff's maximal chain principle ⋮ Syntax for Semantics: Krull’s Maximal Ideal Theorem

Uses Software

• Pesca

Cites Work

• Concepts of proof in mathematics, philosophy, and computer science. Based on the Humboldt-Kolleg, Bern, Switzerland, September 9--13, 2013
• A universal Krull-Lindenbaum theorem
• The basic Zariski topology
• Constructive rereading of Artin-Schreier theory
• Inductively generated formal topologies.
• Some points in formal topology.
• Eliminating disjunctions by disjunction elimination
• Clausal logic and logic programming in algebraic domains
• Remarks on the Scott-Lindenbaum theorem
• Lattice-ordered groups generated by an ordered group and regular systems of ideals
• Commutative algebra: constructive methods. Finite projective modules. Translated from the French by Tania K. Roblot
• A constructive notion of codimension
• On preserving
• Dynamical algebraic structures, pointfree topological spaces and Hilbert's program. (Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert)
• Die Erweiterung halbgeordneter Gruppen zu Verbandsgruppen
• Proof Analysis
• Geometric Hahn-Banach theorem
• A logical approach to abstract algebra
• Finite Methods in Mathematical Practice
• Cut Elimination in the Presence of Axioms
• Formal topologies on the set of first-order formulae
• Hidden constructions in abstract algebra. Krull Dimension of distributive lattices and commutative rings
• Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik
• Ordering groups constructively
• ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION
• Algebraische und logistische Untersuchungen über freie Verbände
• Dynamical method in algebra: Effective Nullstellensätze
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Cut elimination for entailment relations