The following pages link to (Q4793029):
Displaying 7 items.
- Interpreting quantum logic as a pragmatic structure (Q682630) (← links)
- Subintuitionistic logics and the implications they prove (Q1788333) (← links)
- Proper semantics for substructural logics, from a stalker theoretic point of view (Q2426733) (← links)
- A Kripke-style Semantics for the Intuitionistic Logic of Pragmatics ILP (Q4444938) (← links)
- On an intuitionistic logic for pragmatics (Q4612430) (← links)
- Assertions, Hypotheses, Conjectures, Expectations: Rough-Sets Semantics and Proof Theory (Q5251193) (← links)
- A syntactic approach to Maksimova's principle of variable separation for some substructural logics (Q5937808) (← links)