167 results on '"Omodeo, Eugenio G."'
Search Results
2. Onset and Today’s Perspectives of Multilevel Syllogistic
3. Six equations in search of a finite-fold-ness proof
4. Complexity assessments for decidable fragments of Set Theory. IV: A quadratic reduction of constraints over nested sets to Boolean formulae
5. Complexity assessments for decidable fragments of Set Theory. III: Testers for crucial, polynomial-maximal decidable Boolean languages
6. A decidable theory involving addition of differentiable real functions
7. In Memory of Martin Davis.
8. Infinite Sets and Finite Combinatorics
9. Random Generation of Sets
10. Counting and Encoding Sets
11. Graphs as Transitive Sets
12. The Undirected Structure Underlying Sets
13. Sets, Graphs, and Set Universes
14. Membership and Edge Relations
15. Introduction
16. Reasoning on Relations, Modalities, and Sets
17. Banishing Ultrafilters from Our Consciousness
18. Martin Davis’s Bibliography 1950–2015
19. Reconciling transparency, low Δ0-complexity and axiomatic weakness in undecidability proofs
20. A Self-contained Beginning for Ref’s Main Proof Scenario
21. Undecidability and Unsolvability
22. Introduction
23. A Closer Examination of the Sequence of Definitions and Theorems Presented in this Book
24. More on the Structure of the Verifier System
25. A Survey of Inference Mechanisms
26. Propositional- and Predicate-Calculus Preliminaries
27. The Ref Proof-Checker and Its 'Common Shared Scenario'
28. Theory-Specific Automated Reasoning
29. On Sets and Graphs
30. Reconciling transparency, low Δ0-complexity and axiomatic weakness in undecidability proofs.
31. An Environment for Specifying Properties of Dyadic Relations and Reasoning About Them II: Relational Presentation of Non-classical Logics
32. A Computerized Referee
33. Notes from the Logbook of a Proof-Checker’s Project*
34. An Environment for Specifying Properties of Dyadic Relations and Reasoning about Them I: Language Extension Mechanisms
35. A ‘Theory’ Mechanism for a Proof-Verifier Based on First-Order Set Theory
36. Algebraic Semantics of ER-Models in the Context of the Calculus of Relations. II: Dynamic View
37. Instructing Equational Set-Reasoning with Otter
38. Complexity Assessments for Decidable Fragments of Set Theory. IV: Testers for Crucial, Polynomial-Maximal Decidable Boolean Languages
39. The Axiom of Elementary Sets on the Edge of Peircean Expressibility
40. Set Graphs. III. Proof Pearl: Claw-Free Graphs Mirrored into Transitive Hereditarily Finite Sets
41. Decision procedures for set/hyperset contexts
42. Embedding finite sets in a logic programming language
43. 'One equation to rule them all', revisited
44. Complexity Assessments for Decidable Fragments of Set Theory. I: A Taxonomy for the Boolean Case*
45. Preface
46. Complexity assessments for decidable fragments of set theory. II: A taxonomy for ‘small’ languages involving membership
47. Computational Logic and Set Theory
48. Solvable Set/Hyperset Contexts: II. A Goal-Driven Unification Algorithm for the Blended Case
49. A Computerized Referee
50. An Environment for Specifying Properties of Dyadic Relations and Reasoning About Them II: Relational Presentation of Non-classical 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.