172 results on '"Axiomatic system"'
Search Results
2. A New Contingency Axiomatic System for Rough Sets
3. Axioms and Counterexamples Expected Utility Theory
4. Temporal Here and There
5. A Complete Approximation Theory for Weighted Transition Systems
6. Basic Mathematical Thinking
7. Contraction Maps in Pseudometric Structures
8. Levels of Decision Analysis
9. Philosophy of Mathematics: From Hilbert to Gödel
10. Logic, Computing and Biology
11. On the Hierarchical Nature of Partial Preferences
12. Combining Separation Logic and Projection Temporal Logic to Reason About Non-blocking Concurrency
13. The Foundational Crisis of Mathematics
14. Models of a Computer
15. Geometry in the 20 th century
16. States of the Market
17. Epistemology Historicized: The French Tradition
18. Paul Hertz’s Systems of Propositions As a Proof-Theoretical Conception of Logic
19. Pragmatics of Veridicity
20. Logic of and for Language, and Logic of and for Mind
21. Axioms and Counterexamples Expected Utility Theory
22. Partial Orders in Socio-economics: A Practical Challenge for Poset Theorists or a Cultural Challenge for Social Scientists?
23. Introduction
24. Imminence of Life
25. The Nine Chapters on the Mathematical Procedures and Liu Hui’s Mathematical Theory
26. What’s True in Mathematics?
27. A Deontic Action Logic for Complex Actions
28. Automated Inference with Fuzzy Functional Dependencies over Graded Data
29. Carnap’s Conception of Philosophy
30. An Efficient Reasoning Method for Dependencies over Similarity and Ordinal Data
31. A Fully Abstract View for Local Cause Semantics
32. Towards a First-Order Deontic Action Logic
33. Highlights in the Practice of Proof: 1600 BC–2009
34. The Co-evolution of Theory and Practice in Design Thinking – or – 'Mind the Oddness Trap!'
35. A Branching Time Logic with Two Types of Probability Operators
36. Modular Markovian Logic
37. Towards an Axiomatic System for Kolmogorov Complexity
38. An Efficient Algorithm for Reasoning about Fuzzy Functional Dependencies
39. Constructive Discursive Reasoning
40. Modal Logic over Higher Dimensional Automata
41. Axiomatic Geometry
42. From Wittgenstein’s Prison to the Boundless Ocean: Carnap’s Dream of Logical Syntax
43. A Complete Logic for Fuzzy Functional Dependencies over Domains with Similarity Relations
44. Re-Formulations as a Third Pattern of Change in Mathematics
45. A Complete Axiomatic System for a Process-Based Spatial Logic
46. From Gene Regulation to Stochastic Fusion
47. Gödel Machines: Fully Self-referential Optimal Universal Self-improvers
48. Observing Distributed Computation. A Dynamic-Epistemic Approach
49. The Layers of Logiweb
50. Stratified analysis?
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.