Free lattices proof-theoretically

MaRDI QIDQ5149063zbMATH OpenFDO

Authors Tomasz Kowalski

Publication date 6 February 2021

Full work available at URL https://ojs.victoria.ac.nz/ajl/article/view/6468/5617

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Free lattices, projective lattices, word problems (06B25)

Recommendations

• Proof systems for lattice theory
• scientific article; zbMATH DE number 432736
• Proof theory for lattice-ordered groups
• scientific article; zbMATH DE number 3910455
• scientific article; zbMATH DE number 758787

Cited in

(11)

• scientific article; zbMATH DE number 1164601 (Why is no real title available?)
• scientific article; zbMATH DE number 758787 (Why is no real title available?)
• scientific article; zbMATH DE number 3968647 (Why is no real title available?)
• A Technique to Generate -Ary Free Lattices from Finitary Ones
• scientific article; zbMATH DE number 432736 (Why is no real title available?)
• Free and Finitely Presented Lattices
• Monosequent proof systems
• Proof systems for lattice theory
• Free lattices. II
• Freely adjoining a relative complement to a lattice
• scientific article; zbMATH DE number 5031027 (Why is no real title available?)

This page was built for publication: Free lattices proof-theoretically

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