15 results on '"ELIMINATION (Mathematics)"'
Search Results
2. Elementary recursive quantifier elimination based on Thom encoding and sign determination.
3. Quick cut-elimination for strictly positive cuts
4. Syntactic cut-elimination for common knowledge
5. Strong normalization of classical natural deduction with disjunctions
6. Cut elimination for a simple formulation of epsilon calculus
7. A term calculus for (co-)recursive definitions on streamlike data structures
8. Geometric axioms for existentially closed Hasse fields
9. The additive multiboxes
10. Cut elimination and strong separation for substructural logics: An algebraic approach
11. Reverse mathematics and well-ordering principles: A pilot study
12. Algebraically complete semirings and Greibach normal form
13. Syntactic cut-elimination for a fragment of the modal mu-calculus
14. Light linear logics with controlled weakening: Expressibility, confluent strong normalization
15. Completeness and cut-elimination theorems for trilattice logics
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.