The following pages link to (Q5365520):
Displaying 5 items.
- Non-axiomatizable second order intuitionistic propositional logic (Q1361248) (← links)
- Algebras of Information States (Q3133178) (← links)
- Base-extension semantics for intuitionistic sentential logic (Q4644597) (← links)
- Non-distributive logics: from semantics to meaning (Q5004948) (← links)
- A constructive semantics for non‐deducibility (Q5448614) (← links)