scientific article; zbMATH DE number 1526148
From MaRDI portal
Publication:4512930
zbMATH Open1012.03062MaRDI QIDQ4512930FDOQ4512930
Authors:
Publication date: 17 June 2003
Title of this publication is not available (Why is that?)
Recommendations
intuitionistic logicmodal logicHeyting algebras\(B\)-algebrasdistributive lattices with an additional operation
Logical aspects of lattices and related structures (03G10) Structure and representation theory of distributive lattices (06D05)
Cited In (10)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Discovering boundary algebra: A simple notation for Boolean algebra and the truth functors
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- v*-ALGEBRAS, INDEPENDENCE ALGEBRAS AND LOGIC
- Grishin algebras and cover systems for classical bilinear logic
- Properties of \(s\)-algebra
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 Q4512930)