Pages that link to "Item:Q2534163"
From MaRDI portal
The following pages link to Les algèbres de Heyting et de Lukasiewicz trivalentes (Q2534163):
Displayed 5 items.
- Algebras of intervals and a logic of conditional assertions (Q704035) (← links)
- On BCK algebras. II: New algebras. The ordinal sum (product) of two bounded BCK algebras (Q931448) (← links)
- (Q3048809) (← links)
- An abstract algebraic logic approach to tetravalent modal logics (Q4508244) (← links)
- A characterization of Stone and linear Heyting algebras (Q5101863) (← links)