Publication:5692878

zbMath1078.03050MaRDI QIDQ5692878

Radomír Halaš

Publication date: 28 September 2005

zbMATH Keywords

ideal; implication algebra; deductive system; orthoimplication algebra; D-system

Mathematics Subject Classification ID

03G10: Logical aspects of lattices and related structures

06C15: Complemented lattices, orthocomplemented lattices and posets

03B22: Abstract deductive systems

Related Items

Quasi-orthomodular posets and weak BCK-algebras., A glimpse of deductive systems in algebra