The following pages link to (Q3222165):
Displaying 7 items.
- R\(\urcorner\)-algebras and R\(\urcorner\)-model structures as power constructs (Q909651) (← links)
- A note on the decidability of a strong relevant logic (Q1066881) (← links)
- Varieties of De Morgan monoids: minimality and irreducible algebras (Q1730847) (← links)
- A plea for KR (Q2695153) (← links)
- A Logical Autobiography (Q5027230) (← links)
- Modal Logics of Some Hereditarily Irresolvable Spaces (Q5027241) (← links)
- Satisfiability, Lattices, Temporal Logic and Constraint Logic Programming on Intervals (Q5027249) (← links)
