scientific article; zbMATH DE number 1471993
From MaRDI portal
Publication:4489077
zbMATH Open0961.06009MaRDI QIDQ4489077FDOQ4489077
Publication date: 5 June 2001
Title of this publication is not available (Why is that?)
Cited In (13)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- On congruence modularity in varieties of logic.
- Lattice logic as a fragment of (2-sorted) residuated modal logic
- An implicational logic for orthomodular lattices
- Title not available (Why is that?)
- Title not available (Why is that?)
- Orthogonality and Boolean Algebras for Deduction Modulo
- Modal Logics for Parallelism, Orthogonality, and Affine Geometries
- Title not available (Why is that?)
- Title not available (Why is that?)
- The lattice-modalized propositional logic: Distributivity and modularity of the Gentzen deduction system GL1
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4489077)