The following pages link to Fragments of R-mingle (Q1770601):
Displaying 11 items.
- Current trends in substructural logics (Q266641) (← links)
- Contextual deduction theorems (Q647412) (← links)
- Relative congruence formulas and decompositions in quasivarieties (Q1686333) (← links)
- In memory of Willem Johannes Blok 1947-2003 (Q2433091) (← links)
- Craig interpolation for semilinear substructural logics (Q3144874) (← links)
- Representable idempotent commutative residuated lattices (Q3443137) (← links)
- ASSERTIONALLY EQUIVALENT QUASIVARIETIES (Q3519801) (← links)
- Prior’s OIC nonconservativity example revisited (Q4583353) (← links)
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
- R-Mingle is Nice, and so is Arnon Avron (Q5020167) (← links)
- AGGREGATION AND IDEMPOTENCE (Q5414137) (← links)
