Cut elimination for entailment relations
From MaRDI portal
Publication:2312091
DOI10.1007/s00153-018-0653-0zbMath1477.03243OpenAlexW2902872320WikidataQ128822618 ScholiaQ128822618MaRDI QIDQ2312091
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
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
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