The following pages link to Cut and pay (Q851192):
Displaying 8 items.
- Informational semantics, non-deterministic matrices and feasible deduction (Q281148) (← links)
- Semantics and proof-theory of depth bounded Boolean logics (Q385021) (← links)
- A curious dialogical logic and its composition problem (Q484198) (← links)
- The enduring scandal of deduction. Is propositional logic really uninformative? (Q833033) (← links)
- An informational view of classical logic (Q897935) (← links)
- A modal view on resource-bounded propositional logics (Q2157601) (← links)
- Approximations of modal logics: \(\mathbf K\) and beyond (Q2478556) (← links)
- Abduction as deductive saturation: a proof-theoretic inquiry (Q6145029) (← links)
