The following pages link to (Q4518866):
Displayed 4 items.
- Weak negation in inquisitive semantics (Q302218) (← links)
- Semantics of structured normal logic programs (Q444364) (← links)
- Hypersequent calculi for intuitionistic logic with classical atoms (Q636282) (← links)
- Translating propositional extended conjunctions of Horn clauses into Boolean circuits (Q964389) (← links)