Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Category:Syntax_(logic)> }
Showing triples 1 to 42 of
42
with 100 triples per page.
- Atomic_sentence wikiPageWikiLink Category:Syntax_(logic).
- Formal_proof wikiPageWikiLink Category:Syntax_(logic).
- Formal_system wikiPageWikiLink Category:Syntax_(logic).
- Formation_rule wikiPageWikiLink Category:Syntax_(logic).
- List_of_philosophy_categories wikiPageWikiLink Category:Syntax_(logic).
- Logical_Syntax_of_Language wikiPageWikiLink Category:Syntax_(logic).
- Logical_consequence wikiPageWikiLink Category:Syntax_(logic).
- Logical_constant wikiPageWikiLink Category:Syntax_(logic).
- Metasyntactic_variable wikiPageWikiLink Category:Syntax_(logic).
- Metavariable wikiPageWikiLink Category:Syntax_(logic).
- Proposition wikiPageWikiLink Category:Syntax_(logic).
- Propositional_formula wikiPageWikiLink Category:Syntax_(logic).
- Rule_of_inference wikiPageWikiLink Category:Syntax_(logic).
- Symbol_(formal) wikiPageWikiLink Category:Syntax_(logic).
- Syntax_(logic) wikiPageWikiLink Category:Syntax_(logic).
- Theorem wikiPageWikiLink Category:Syntax_(logic).
- Unate_function wikiPageWikiLink Category:Syntax_(logic).
- Variable_(mathematics) wikiPageWikiLink Category:Syntax_(logic).
- Well-formed_formula wikiPageWikiLink Category:Syntax_(logic).
- 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).
- 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).