The following pages link to (Q5111325):
Displayed 6 items.
- A proof-theoretic approach to negative translations in intuitionistic tense logics (Q2082257) (← links)
- Dual and axiomatic systems for constructive S4, a formally verified equivalence (Q2219076) (← links)
- The Jacobson radical for an inconsistency predicate (Q5075520) (← links)
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY (Q5085858) (← links)
- Axiomatic and dual systems for constructive necessity, a formally verified equivalence (Q5231279) (← links)
- An algebraic glimpse at bunched implications and separation logic (Q6201543) (← links)