The following pages link to (Q3007254):
Displayed 8 items.
- Informational semantics, non-deterministic matrices and feasible deduction (Q281148) (← links)
- Semantics and proof-theory of depth bounded Boolean logics (Q385021) (← links)
- The enduring scandal of deduction. Is propositional logic really uninformative? (Q833033) (← links)
- An informational view of classical logic (Q897935) (← links)
- Classical logic, argument and dialectic (Q1711878) (← links)
- Normality, non-contamination and logical depth in classical natural deduction (Q2307304) (← links)
- Proof-Search in Natural Deduction Calculus for Classical Propositional Logic (Q3455774) (← links)
- (Q4575567) (← links)