The following pages link to The completeness of S (Q1257470):
Displaying 8 items.
- Correia semantics revisited (Q300562) (← links)
- Paraconsistent analytic implication (Q801897) (← links)
- A note on the decidability of a strong relevant logic (Q1066881) (← links)
- Rivals to Belnap-Dunn logic on interlaced trilattices (Q1685566) (← links)
- Logics of nonsense and Parry systems (Q2018590) (← links)
- A computational interpretation of conceptivism (Q4583359) (← links)
- Exactly true and non-falsity logics meeting infectious ones (Q4995617) (← links)
- Meeting of the Association for Symbolic Logic (Q5902776) (← links)