About:
system of formal logic
An Entity in Data Space:
dbpedia.org
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