About: Systems of formal logic

Property	Value
rdf:type	skos:Concept
rdfs:label	Systems of formal logic
skos:broader	dbpedia:Category:Categories_for_merging dbpedia:Category:Formal_systems dbpedia:Category:Mathematical_logic
skos:prefLabel	Systems of formal logic
is skos:broader of	dbpedia:Category:Substructural_logic dbpedia:Category:Propositional_logic dbpedia:Category:Predicate_logic
is skos:subject of	dbpedia:Categorical_logic dbpedia:Intermediate_logic dbpedia:Paraconsistent_logic dbpedia:Predicate_logic dbpedia:Type_theory dbpedia:Kinetic_logic dbpedia:Propositional_calculus dbpedia:Higher-order_logic dbpedia:First-order_logic dbpedia:Many-sorted_logic dbpedia:Infinitary_logic dbpedia:Logics_for_computability dbpedia:Intuitionistic_logic dbpedia:Frege's_propositional_calculus dbpedia:Implicational_propositional_calculus dbpedia:Independence-friendly_logic dbpedia:Second-order_logic dbpedia:Zeroth-order_logic dbpedia:Ω-logic dbpedia:Synthetic_logic