Permutability of rules for linear lattices

MaRDI QIDQ5310883zbMATH OpenFDO

Authors Sara Negri

Publication date 15 October 2007

Full work available at URL http://www.jucs.org/jucs_11_12/permutability_of_rules_for

zbMATH Keywords

decidabilitylattice theory

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Structure of proofs (03F07) Total orders (06A05) Lattices (06B99)

Recommendations

• Permutability of rules in lattice theory.
• Proof systems for lattice theory
• Proof theory for linear lattices
• scientific article; zbMATH DE number 3910455
• From multiple sequent for additive linear logic to decision procedures for free lattices

Cited in

(5)

• scientific article; zbMATH DE number 3910455 (Why is no real title available?)
• Proof theory for linear lattices
• Decision methods for linearly ordered Heyting algebras
• The intensional side of algebraic-topological representation theorems
• Permutability of rules in lattice theory.

This page was built for publication: Permutability of rules for linear lattices

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