Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/resource/Category:Formal_systems> . }
Showing items 1 to 18 of
18
with 100 items per page.
- Axiom subject Category:Formal_systems.
- Axiom_schema subject Category:Formal_systems.
- Axiomatic_system subject Category:Formal_systems.
- Deductive_system subject Category:Formal_systems.
- First_principle subject Category:Formal_systems.
- Formal_ethics subject Category:Formal_systems.
- Formal_proof subject Category:Formal_systems.
- Formal_system subject Category:Formal_systems.
- List_of_formal_systems subject Category:Formal_systems.
- Physical_symbol_system subject Category:Formal_systems.
- Proof_(truth) subject Category:Formal_systems.
- Rule_of_inference subject Category:Formal_systems.
- Category:Logical_calculi broader Category:Formal_systems.
- Category:Mathematical_axioms broader Category:Formal_systems.
- Category:Rules_of_inference broader Category:Formal_systems.
- Category:Substitution_(logic) broader Category:Formal_systems.
- Category:Systems_of_formal_logic broader Category:Formal_systems.
- Category:Systems_of_set_theory broader Category:Formal_systems.