Regular entailment relations
From MaRDI portal
Publication:6331475
DOI10.1007/978-3-030-65824-3_7zbMath1515.03226arXiv1912.09480MaRDI QIDQ6331475
Henri Lombardi, Stefan Neuwirth, Thierry Coquand
Publication date: 19 December 2019
Logical aspects of lattices and related structures (03G10) Structure and representation theory of distributive lattices (06D05) Other algebras related to logic (03G25) Ordered groups (06F15) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20)
This page was built for publication: Regular entailment relations
