The following pages link to (Q2973406):
Displayed 6 items.
- Informational semantics, non-deterministic matrices and feasible deduction (Q281148) (← links)
- The method of polynomial ring calculus and its potentialities (Q897932) (← links)
- An informational view of classical logic (Q897935) (← links)
- Classical logic, argument and dialectic (Q1711878) (← links)
- A multi-agent depth bounded Boolean logic (Q2234050) (← links)
- Normality, non-contamination and logical depth in classical natural deduction (Q2307304) (← links)