Permutability of rules for linear lattices

zbMATH Open1120.03043MaRDI QIDQ5310883FDOQ5310883

Authors: Sara Negri 

Publication date: 15 October 2007

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

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

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)

Cited In (5)

• Title not available (Why is that?)
• 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)