Shramko, 2014 - Google Patents
The logical way of being true: Truth values and the ontological foundation of logicShramko, 2014
View PDF- Document ID
- 121795190087124360
- Author
- Shramko Y
- Publication year
- Publication venue
- Logic and Logical Philosophy
External Links
Snippet
THE LOGICAL WAY OF BEING TRUE: Truth values and the ontological foundation of logic
Page 1 Logic and Logical Philosophy Volume 23 (2014), 119–131 DOI: 10.12775/LLP.2013.031
Yaroslav Shramko THE LOGICAL WAY OF BEING TRUE: Truth values and the ontological …
- 230000000694 effects 0 description 8
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
- G06N5/00—Computer systems utilising knowledge based models
- G06N5/04—Inference methods or devices
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
- G06N5/00—Computer systems utilising knowledge based models
- G06N5/02—Knowledge representation
- G06N5/022—Knowledge engineering, knowledge acquisition
- G06N5/025—Extracting rules from data
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
- G06N3/00—Computer systems based on biological models
- G06N3/02—Computer systems based on biological models using neural network models
- G06N3/08—Learning methods
- G06N3/082—Learning methods modifying the architecture, e.g. adding or deleting nodes or connections, pruning
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
- G06N3/00—Computer systems based on biological models
- G06N3/02—Computer systems based on biological models using neural network models
- G06N3/04—Architectures, e.g. interconnection topology
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
- G06F17/20—Handling natural language data
- G06F17/27—Automatic analysis, e.g. parsing
- G06F17/2785—Semantic analysis
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
- G06N99/00—Subject matter not provided for in other groups of this subclass
- G06N99/005—Learning machines, i.e. computer in which a programme is changed according to experience gained by the machine itself during a complete run
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
- G06N7/00—Computer systems based on specific mathematical models
- G06N7/005—Probabilistic networks
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
- G06F17/30—Information retrieval; Database structures therefor; File system structures therefor
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
- G06N7/00—Computer systems based on specific mathematical models
- G06N7/02—Computer systems based on specific mathematical models using fuzzy logic
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
- G06F17/10—Complex mathematical operations
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| Van Geert | Dynamic systems, process and development | |
| Carnap | Logical syntax of language | |
| Rapaport | Logical foundations for belief representation | |
| Priest | Paraconsistency and dialetheism | |
| Hellman et al. | Mathematical structuralism | |
| Potter | The Rise of Analytic Philosophy, 1879–1930: From Frege to Ramsey | |
| Anderson | The Wolffian Paradigm and its Discontent: Kant’s Containment Definition of Analyticity in Historical Context | |
| Shramko | The logical way of being true: Truth values and the ontological foundation of logic | |
| Morris | Quine, new foundations, and the philosophy of set theory | |
| Timchenko et al. | Interval-valued and set-valued extensions of discrete fuzzy logics, Belnap logic, and color optical computing | |
| Baldwin | The dividing line methodology: Model theory motivating set theory | |
| Beziau | Metalogic, Schopenhauer and Universal Logic | |
| Kakas | Informalizing formal logic | |
| Vlasits | Division, Syllogistic, and Science in Prior Analytics I. 31 | |
| Bernstein | 10 The Pragmatic Turn: The Entanglement of Fact and Value | |
| Hintikka | Standard vs. nonstandard distinction: A watershed in the foundations of mathematics | |
| Dendrinos | Philosophical views about digital information and relational schemata | |
| Swindler | Parmenides' Paradox: Negative Reference and Negative Existentials | |
| Floyd | Steiner’s Wittgenstein | |
| Kemp | WV Quine: word and object | |
| Italia | Truth as One, Facts as Many: A Way to Gradual Realism | |
| Palchunov et al. | Methods for Identifying and Resolving Contradictions in Document Texts | |
| Abdelwahab et al. | The Algorithm of Islamic Jurisprudence (Fiqh) with Validation of an Entscheidungsproblem | |
| Dejnožka | Being Qua Identity in Russell’s Ontologies | |
| Vlasáková | Logic and Sets |