Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Deductive_system> ?p ?o. }
Showing items 1 to 30 of
30
with 100 items per page.
- Deductive_system abstract "A deductive system (also called a deductive apparatus of a formal system) consists of the axioms (or axiom schemata) and rules of inference that can be used to derive the theorems of the system.Such a deductive system is intended to preserve deductive qualities in the formulas that are expressed in the system. Usually the quality we are concerned with is truth as opposed to falsehood. However, other modalities, such as justification or belief may be preserved instead. In order to sustain its deductive integrity, a deductive apparatus must be definable without reference to any intended interpretation of the language. The aim is to ensure that each line of a derivation is merely a syntactic consequence of the lines that precede it. There should be no element of any interpretation of the language that gets involved with the deductive nature of the system.".
- Deductive_system wikiPageID "15285822".
- Deductive_system wikiPageRevisionID "547344125".
- Deductive_system hasPhotoCollection Deductive_system.
- Deductive_system subject Category:Deductive_reasoning.
- Deductive_system subject Category:Formal_systems.
- Deductive_system subject Category:Proof_theory.
- Deductive_system subject Category:Syntactic_entities.
- Deductive_system type Artifact100021939.
- Deductive_system type FormalSystems.
- Deductive_system type Instrumentality103575240.
- Deductive_system type Object100002684.
- Deductive_system type PhysicalEntity100001930.
- Deductive_system type System104377057.
- Deductive_system type Whole100003553.
- Deductive_system comment "A deductive system (also called a deductive apparatus of a formal system) consists of the axioms (or axiom schemata) and rules of inference that can be used to derive the theorems of the system.Such a deductive system is intended to preserve deductive qualities in the formulas that are expressed in the system. Usually the quality we are concerned with is truth as opposed to falsehood. However, other modalities, such as justification or belief may be preserved instead.".
- Deductive_system label "Deductief systeem".
- Deductive_system label "Deductive system".
- Deductive_system label "Sistema deductivo".
- Deductive_system label "Sistema dedutivo".
- Deductive_system sameAs Συμπερασματικό_σύστημα.
- Deductive_system sameAs Sistema_deductivo.
- Deductive_system sameAs Deductief_systeem.
- Deductive_system sameAs Sistema_dedutivo.
- Deductive_system sameAs m.03hp23m.
- Deductive_system sameAs Q3322159.
- Deductive_system sameAs Q3322159.
- Deductive_system sameAs Deductive_system.
- Deductive_system wasDerivedFrom Deductive_system?oldid=547344125.
- Deductive_system isPrimaryTopicOf Deductive_system.