The following pages link to \(T\)-theorem proving. I (Q1914165):
Displayed 5 items.
- Filter-based resolution principle for lattice-valued propositional logic LP\((X)\) (Q867665) (← links)
- Formative processes with applications to the decision problem in set theory. I: Powerset and singleton operators (Q1854500) (← links)
- A set-theoretic translation method for polymodal logics (Q1904398) (← links)
- Combining Non-Stably Infinite Theories (Q4916220) (← links)
- Goals and benchmarks for automated map reasoning (Q5927984) (← links)