Pages that link to "Item:Q2562173"
From MaRDI portal
The following pages link to On the intuitionistic equivalential calculus (Q2562173):
Displayed 6 items.
- Basic properties of the equivalence (Q786810) (← links)
- Free equivalential algebras (Q952484) (← links)
- On the \(\{\to,\tilde{}\}\)-reduct of the intuitionistic consequence operation (Q1163541) (← links)
- (Q3100246) (← links)
- Algebraic semantics for the ‐fragment of and its properties (Q5108101) (← links)
- Free spectra of linear equivalential algebras (Q5486254) (← links)