About: Systems of formal logic

An Entity of Type: Concept, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Property	Value
dbo:wikiPageID	11504647 (xsd:integer)
dbo:wikiPageRevisionID	847114456 (xsd:integer)
dbp:wikiPageUsesTemplate	dbt:Commons
rdf:type	skos:Concept
rdfs:label	Systems of formal logic (en)
owl:sameAs	dbpedia-commons:Systems of formal logic
skos:broader	dbc:Formal_systems
skos:prefLabel	Systems of formal logic (en)
prov:wasDerivedFrom	wikipedia-en:Category:Systems_of_formal_logic?oldid=847114456&ns=14
is dbo:wikiPageWikiLink of	dbr:Categorical_logic dbr:Propositional_calculus dbr:Quantum_logic dbr:Ω-logic dbr:Dependence_logic dbr:Dynamic_semantics dbr:Infinitary_logic dbr:Inquisitive_semantics dbr:Intermediate_logic dbr:Intuitionistic_logic dbr:Systems_of_Logic_Based_on_Ordinals dbr:Propositional_proof_system dbr:Frege's_propositional_calculus dbr:Epsilon_calculus dbr:Horn_logic dbr:Aṣṭādhyāyī dbr:Type_theory dbr:Logics_for_computability dbr:Minimal_logic dbr:Two-variable_logic dbr:Paraconsistent_logic dbr:Alternative_semantics dbr:First-order_logic dbr:Discourse_representation_theory dbr:List_of_Hilbert_systems dbr:Attributional_calculus dbr:Higher-order_logic dbr:Zeroth-order_logic dbr:Implicational_propositional_calculus dbr:Independence-friendly_logic dbr:Second-order_logic dbr:Predicate_calculus dbr:Many-sorted_logic dbr:Ordinal_logic
is dcterms:subject of	dbr:Categorical_logic dbr:Propositional_calculus dbr:Quantum_logic dbr:Ω-logic dbr:Dependence_logic dbr:Dynamic_semantics dbr:Infinitary_logic dbr:Inquisitive_semantics dbr:Intermediate_logic dbr:Intuitionistic_logic dbr:Systems_of_Logic_Based_on_Ordinals dbr:Propositional_proof_system dbr:Frege's_propositional_calculus dbr:Epsilon_calculus dbr:Horn_logic dbr:Aṣṭādhyāyī dbr:Type_theory dbr:Logics_for_computability dbr:Minimal_logic dbr:Two-variable_logic dbr:Paraconsistent_logic dbr:Alternative_semantics dbr:First-order_logic dbr:Discourse_representation_theory dbr:List_of_Hilbert_systems dbr:Attributional_calculus dbr:Higher-order_logic dbr:Zeroth-order_logic dbr:Implicational_propositional_calculus dbr:Independence-friendly_logic dbr:Second-order_logic dbr:Predicate_calculus dbr:Many-sorted_logic dbr:Ordinal_logic
is skos:broader of	dbc:Propositional_calculus dbc:Paraconsistent_logic dbc:Predicate_logic dbc:Substructural_logic