The following pages link to (Q2943779):
Displaying 6 items.
- Propositional lax logic (Q1368378) (← links)
- A logic for extensional protocols (Q2901223) (← links)
- (Q3035258) (← links)
- Adding the everywhere operator to propositional logic (Q4399516) (← links)
- A propositional system induced by Japaridze's approach to IF logic (Q4644501) (← links)
- (Q4982676) (← links)