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