Regular entailment relations

DOI10.1007/978-3-030-65824-3_7MaRDI QIDQ5024727zbMATH OpenOpenAlexFDO

Authors Thierry Coquand, Henri Lombardi, Stefan Neuwirth

Publication date 27 January 2022

Published in Paul Lorenzen -- Mathematician and Logician (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/1912.09480

Mathematics Subject Classification ID

Order, lattices, ordered algebraic structures (06-XX) Group theory and generalizations (20-XX)

Recommendations

• Lattice-ordered groups generated by an ordered group and regular systems of ideals
• scientific article; zbMATH DE number 1420837
• Cut elimination for entailment relations
• scientific article; zbMATH DE number 2098298
• Point-Free Spectra of Linear Spreads

Cites work

• Algebraische und logistische Untersuchungen über freie Verbände
• Die Erweiterung halbgeordneter Gruppen zu Verbandsgruppen
• scientific article; zbMATH DE number 1420837 (Why is no real title available?)
• Lattice-ordered groups generated by an ordered group and regular systems of ideals
• Teilbarkeitstheorie in Bereichen
• Untersuchungen über Teilbarkeitseigenschaften in Körpern.
• Über halbgeordnete Gruppen

Cited in

(2)

• Lattice-ordered groups generated by an ordered group and regular systems of ideals
• Regular entailment relations

This page was built for publication: Regular entailment relations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5024727)