The following pages link to (Q4525273):
Displayed 4 items.
- Generalizing proofs in monadic languages (with a postscript by Georg Kreisel). (Q930260) (← links)
- Effective Finite-Valued Approximations of General Propositional Logics (Q5452176) (← links)
- A Tableaux-Based Decision Procedure for Multi-parameter Propositional Schemata (Q5495914) (← links)
- On calculational proofs (Q5957914) (← links)