Matches in DBpedia 2015-04 for { ?s ?p <http://dbpedia.org/resource/Category:Systems_of_formal_logic> }
Showing triples 1 to 33 of
33
with 100 triples per page.
- %CE%A9-logic subject Category:Systems_of_formal_logic.
- Attributional_calculus subject Category:Systems_of_formal_logic.
- Categorical_logic subject Category:Systems_of_formal_logic.
- Dependence_logic subject Category:Systems_of_formal_logic.
- Epsilon_calculus subject Category:Systems_of_formal_logic.
- First-order_logic subject Category:Systems_of_formal_logic.
- Frege's_propositional_calculus subject Category:Systems_of_formal_logic.
- Higher-order_logic subject Category:Systems_of_formal_logic.
- Horn_logic subject Category:Systems_of_formal_logic.
- Implicational_propositional_calculus subject Category:Systems_of_formal_logic.
- Independence-friendly_logic subject Category:Systems_of_formal_logic.
- Infinitary_logic subject Category:Systems_of_formal_logic.
- Intermediate_logic subject Category:Systems_of_formal_logic.
- Intuitionistic_logic subject Category:Systems_of_formal_logic.
- List_of_logic_systems subject Category:Systems_of_formal_logic.
- Logics_for_computability subject Category:Systems_of_formal_logic.
- Many-sorted_logic subject Category:Systems_of_formal_logic.
- Minimal_logic subject Category:Systems_of_formal_logic.
- Ordinal_logic subject Category:Systems_of_formal_logic.
- Paraconsistent_logic subject Category:Systems_of_formal_logic.
- Predicate_calculus subject Category:Systems_of_formal_logic.
- Predicate_logic subject Category:Systems_of_formal_logic.
- Propositional_calculus subject Category:Systems_of_formal_logic.
- Propositional_proof_system subject Category:Systems_of_formal_logic.
- Second-order_logic subject Category:Systems_of_formal_logic.
- Systems_of_Logic_Based_on_Ordinals subject Category:Systems_of_formal_logic.
- Two-variable_logic subject Category:Systems_of_formal_logic.
- Type_theory subject Category:Systems_of_formal_logic.
- Zeroth-order_logic subject Category:Systems_of_formal_logic.
- Category:Paraconsistent_logic broader Category:Systems_of_formal_logic.
- Category:Predicate_logic broader Category:Systems_of_formal_logic.
- Category:Propositional_calculus broader Category:Systems_of_formal_logic.
- Category:Substructural_logic broader Category:Systems_of_formal_logic.