The following pages link to (Q4249027):
Displaying 15 items.
- Fregean logics (Q598302) (← links)
- Contextual deduction theorems (Q647412) (← links)
- Ideals and clots in pointed regular categories (Q835749) (← links)
- Relative congruence formulas and decompositions in quasivarieties (Q1686333) (← links)
- Fragments of R-mingle (Q1770601) (← links)
- Some properties of pseudo-BCK- and pseudo-BCI-algebras (Q1794954) (← links)
- Willem Blok's contribution to abstract algebraic logic (Q2433093) (← links)
- General theory of the commutator for deductive systems. I: Basic facts (Q2433100) (← links)
- Lattice-theoretic properties of algebras of logic (Q2448299) (← links)
- From partially ordered monoids to partially ordered groups via free nuclear preimages (Q2675057) (← links)
- Semi-linear Varieties of Lattice-Ordered Algebras (Q2948590) (← links)
- Bilattice Logics and Demi-Negation (Q3305617) (← links)
- ASSERTIONALLY EQUIVALENT QUASIVARIETIES (Q3519801) (← links)
- Quasi-discriminator varieties (Q5170143) (← links)
- Intuitionistic logic is a connexive logic (Q6127186) (← links)