The following pages link to (Q3632245):
Displaying 3 items.
- The \(\gamma \)-admissibility of relevant modal logics. II: The method using metavaluations (Q539157) (← links)
- The \(\gamma \)-admissibility of relevant modal logics. I: The method of normal models (Q633158) (← links)
- Order-dual relational semantics for non-distributive propositional logics: a general framework (Q1702978) (← links)