Pages that link to "Item:Q4328824"
From MaRDI portal
The following pages link to An algebraic approach to intuitionistic connectives (Q4328824):
Displayed 26 items.
- Free and projective bimodal symmetric Gödel algebras (Q300560) (← links)
- Hedges and successors in basic algebras (Q422448) (← links)
- Frontal operators in weak Heyting algebras (Q454367) (← links)
- On products of posets and coproducts of KM-algebras (Q521725) (← links)
- Compatible operations on residuated lattices (Q763311) (← links)
- On some compatible operations on Heyting algebras (Q763330) (← links)
- On the free frontal implicative semilattice extension of a frontal Hilbert algebra (Q780095) (← links)
- Expanding \(\text{FL}_{ew}\) with a Boolean connective (Q1699735) (← links)
- Subminimal negation (Q1699743) (← links)
- On congruences in weak implicative semi-lattices (Q1701818) (← links)
- Implicit connectives of algebraizable logics (Q1770605) (← links)
- On some classes of Heyting algebras with successor that have the amalgamation property (Q1935558) (← links)
- On prelinear Hilbert algebras with successor (Q2035276) (← links)
- On relative principal congruences in term quasivarieties (Q2106878) (← links)
- What is a relevant connective? (Q2155944) (← links)
- Proof theory for positive logic with weak negation (Q2193970) (← links)
- On an operation with regular elements (Q2317517) (← links)
- Compatible operations on commutative weak residuated lattices (Q2343034) (← links)
- On principal congruences in distributive lattices with a commutative monoidal operation and an implication (Q2422313) (← links)
- Principal congruences in weak Heyting algebras (Q2630276) (← links)
- (Q3296948) (← links)
- XIV Latin American Symposium on Mathematical Logic (SLALM) (Q3398618) (← links)
- Compatible operations on commutative residuated lattices (Q3643365) (← links)
- Implicit Operations in MV-Algebras and the Connectives of Łukasiewicz Logic (Q5425997) (← links)
- ALGEBRAIC EXPANSIONS OF LOGICS (Q5879177) (← links)
- The variety of modal weak Gödel algebras (Q6083149) (← links)