Pages that link to "Item:Q281148"
From MaRDI portal
The following pages link to Informational semantics, non-deterministic matrices and feasible deduction (Q281148):
Displaying 5 items.
- 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)
- A multi-agent depth bounded Boolean logic (Q2234050) (← links)
- Basic Constructive Connectives, Determinism and Matrix-Based Semantics (Q3010364) (← links)