WikicatSystemsOfFormalLogic

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

Property	Value
rdfs:subClassOf	yago:Logic105664069
owl:equivalentClass	yago-res:wikicat_Systems_of_formal_logic
is rdf:type of	dbr:Categorical_logic dbr:Predicate_logic dbr:Ω-logic dbr:Dependence_logic dbr:Infinitary_logic dbr:Intermediate_logic dbr:Systems_of_Logic_Based_on_Ordinals dbr:Propositional_proof_system dbr:Frege's_propositional_calculus dbr:Epsilon_calculus dbr:Horn_clause dbr:Type_theory dbr:Logics_for_computability dbr:Minimal_logic dbr:Paraconsistent_logic dbr:First-order_logic dbr:Attributional_calculus dbr:Higher-order_logic dbr:Zeroth-order_logic dbr:Implicational_propositional_calculus dbr:Independence-friendly_logic dbr:Second-order_logic dbr:Many-sorted_logic dbr:Ordinal_logic

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License