Matches in DBpedia 2015-04 for { ?s ?p <http://dbpedia.org/class/yago/Logic105664069> }
Showing triples 1 to 27 of
27
with 100 triples per page.
- %CE%A9-logic type Logic105664069.
- Attributional_calculus type Logic105664069.
- Categorical_logic type Logic105664069.
- Dependence_logic type Logic105664069.
- First-order_logic type Logic105664069.
- Frege's_propositional_calculus type Logic105664069.
- Higher-order_logic type Logic105664069.
- Horn_logic type Logic105664069.
- Implicational_propositional_calculus type Logic105664069.
- Independence-friendly_logic type Logic105664069.
- Infinitary_logic type Logic105664069.
- Intermediate_logic type Logic105664069.
- Intuitionistic_logic type Logic105664069.
- Kinetic_logic type Logic105664069.
- Logics_for_computability type Logic105664069.
- Many-sorted_logic type Logic105664069.
- Minimal_logic type Logic105664069.
- Ordinal_logic type Logic105664069.
- Paraconsistent_logic type Logic105664069.
- Predicate_logic type Logic105664069.
- Second-order_logic type Logic105664069.
- Systems_of_Logic_Based_on_Ordinals type Logic105664069.
- Type_theory type Logic105664069.
- Zeroth-order_logic type Logic105664069.
- Asynchronous_logic_(algebra) type Logic105664069.
- SymbolicLogic106164665 subClassOf Logic105664069.
- SystemsOfFormalLogic subClassOf Logic105664069.