Regular Entailment Relations

DOI10.1007/978-3-030-65824-3_7OpenAlexW3044183827MaRDI QIDQ5024727

Thierry Coquand, Stefan Neuwirth, Henri Lombardi

Publication date: 27 January 2022

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

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

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Lattice-ordered groups generated by an ordered group and regular systems of ideals
• Teilbarkeitstheorie in Bereichen
• Die Erweiterung halbgeordneter Gruppen zu Verbandsgruppen
• Untersuchungen über Teilbarkeitseigenschaften in Körpern.
• Algebraische und logistische Untersuchungen über freie Verbände
• Über halbgeordnete Gruppen

This page was built for publication: Regular Entailment Relations