About: system of formal logic

Property	Value
rdfs:label	system of formal logic
rdfs:subClassOf	http://dbpedia.org/class/yago/System104377057
is rdf:type of	dbpedia:Categorical_logic dbpedia:Intermediate_logic dbpedia:Paraconsistent_logic dbpedia:Type_theory dbpedia:Computability_logic dbpedia:Kinetic_logic dbpedia:Higher-order_logic dbpedia:First-order_logic dbpedia:Many-sorted_logic dbpedia:Infinitary_logic dbpedia:Logics_for_computability dbpedia:Intuitionistic_logic dbpedia:Implicational_propositional_calculus dbpedia:Independence-friendly_logic dbpedia:Second-order_logic dbpedia:Zeroth-order_logic dbpedia:Frege's_propositional_calculus