Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/resource/Category:Syntax_(logic)> . }
Showing items 1 to 24 of
24
with 100 items per page.
- Atomic_sentence subject Category:Syntax_(logic).
- Formal_proof subject Category:Syntax_(logic).
- Formal_system subject Category:Syntax_(logic).
- Formation_rule subject Category:Syntax_(logic).
- Logical_Syntax_of_Language subject Category:Syntax_(logic).
- Logical_consequence subject Category:Syntax_(logic).
- Logical_constant subject Category:Syntax_(logic).
- Metasyntactic_variable subject Category:Syntax_(logic).
- Metavariable subject Category:Syntax_(logic).
- Proposition subject Category:Syntax_(logic).
- Propositional_formula subject Category:Syntax_(logic).
- Rule_of_inference subject Category:Syntax_(logic).
- Symbol_(formal) subject Category:Syntax_(logic).
- Syntax_(logic) subject Category:Syntax_(logic).
- Theorem subject Category:Syntax_(logic).
- Theory_(mathematical_logic) subject Category:Syntax_(logic).
- Unate_function subject Category:Syntax_(logic).
- Variable_(mathematics) subject Category:Syntax_(logic).
- Well-formed_formula subject Category:Syntax_(logic).
- Category:Formal_languages broader Category:Syntax_(logic).
- Category:Formal_systems broader Category:Syntax_(logic).
- Category:Logic_symbols broader Category:Syntax_(logic).
- Category:Proof_theory broader Category:Syntax_(logic).
- Category:Rules_of_inference broader Category:Syntax_(logic).