Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/resource/Category:Systems_of_formal_logic> . }
Showing items 1 to 32 of
32
with 100 items per page.
- 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.
- Type_theory subject Category:Systems_of_formal_logic.
- Zeroth-order_logic subject Category:Systems_of_formal_logic.
- Ω-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.