Lattice-ordered groups in deduction

MaRDI QIDQ2702594zbMATH OpenFDO

Authors Ingo Dahn

Publication date 3 October 2001

zbMATH Keywords

interactive theorem provinglattice-ordered groups

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Ordered groups (06F15)

Recommendations

• Proof theory for lattice-ordered groups
• Problem corner: Proving equivalence of different axiomatizations of free groups
• scientific article; zbMATH DE number 934902
• Proof theory and ordered groups
• scientific article; zbMATH DE number 417880

Cited in

(1)

• Proof theory for lattice-ordered groups

This page was built for publication: Lattice-ordered groups in deduction

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