The following pages link to (Q4698608):
Displayed 6 items.
- Interpolation in Algebraizable Logics Semantics for Non-Normal Multi-Modal Logic (Q4236058) (← links)
- Heterogeneous Reasoning and Its Logic (Q4678935) (← links)
- AN ABSTRACT APPROACH TO CONSEQUENCE RELATIONS (Q5381042) (← links)
- WEAK DISHARMONY: SOME LESSONS FOR PROOF-THEORETIC SEMANTICS (Q5737955) (← links)
- Axiomatizing non-deterministic many-valued generalized consequence relations (Q6088603) (← links)
- Logic as a methodological discipline (Q6187749) (← links)