Pages that link to "Item:Q385021"
From MaRDI portal
The following pages link to Semantics and proof-theory of depth bounded Boolean logics (Q385021):
Displaying 7 items.
- Informational semantics, non-deterministic matrices and feasible deduction (Q281148) (← links)
- An informational view of classical logic (Q897935) (← links)
- The problem of \(\Pi_{2}\)-cut-introduction (Q1680562) (← links)
- Classical logic, argument and dialectic (Q1711878) (← links)
- A modal view on resource-bounded propositional logics (Q2157601) (← links)
- Depth-bounded belief functions (Q2191247) (← links)
- Normality, non-contamination and logical depth in classical natural deduction (Q2307304) (← links)
