Free lattices proof-theoretically

zbMATH Open1477.03239MaRDI QIDQ5149063FDOQ5149063

Authors: Tomasz Kowalski 

Publication date: 6 February 2021

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

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

Mathematics Subject Classification ID

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

Cited In (11)

• Title not available (Why is that?)
• Free and Finitely Presented Lattices
• Monosequent proof systems
• Free lattices. II
• A Technique to Generate -Ary Free Lattices from Finitary Ones
• Proof systems for lattice theory
• Title not available (Why is that?)
• Freely adjoining a relative complement to a lattice
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)