Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Category:Metalogic> }
Showing triples 1 to 58 of
58
with 100 triples per page.
- Axiom_independence wikiPageWikiLink Category:Metalogic.
- Completeness_(logic) wikiPageWikiLink Category:Metalogic.
- Consistency wikiPageWikiLink Category:Metalogic.
- Decidability_(logic) wikiPageWikiLink Category:Metalogic.
- Effective_method wikiPageWikiLink Category:Metalogic.
- Equisatisfiability wikiPageWikiLink Category:Metalogic.
- Formal_system wikiPageWikiLink Category:Metalogic.
- List_of_philosophy_categories wikiPageWikiLink Category:Metalogic.
- Logical_consequence wikiPageWikiLink Category:Metalogic.
- Logical_equivalence wikiPageWikiLink Category:Metalogic.
- Meta-communication wikiPageWikiLink Category:Metalogic.
- Metalanguage wikiPageWikiLink Category:Metalogic.
- Metalogic wikiPageWikiLink Category:Metalogic.
- Metasyntactic_variable wikiPageWikiLink Category:Metalogic.
- Metatheorem wikiPageWikiLink Category:Metalogic.
- Metavariable wikiPageWikiLink Category:Metalogic.
- Model_theory wikiPageWikiLink Category:Metalogic.
- Object_language wikiPageWikiLink Category:Metalogic.
- Object_theory wikiPageWikiLink Category:Metalogic.
- Proof_theory wikiPageWikiLink Category:Metalogic.
- Symbol_(formal) wikiPageWikiLink Category:Metalogic.
- Syntax_(logic) wikiPageWikiLink Category:Metalogic.
- Type–token_distinction wikiPageWikiLink Category:Metalogic.
- Type–token_relations wikiPageWikiLink Category:Metalogic.
- Use–mention_distinction wikiPageWikiLink Category:Metalogic.
- Well-formed_formula wikiPageWikiLink Category:Metalogic.
- Łoś–Tarski_preservation_theorem wikiPageWikiLink Category:Metalogic.
- Axiom_independence subject Category:Metalogic.
- Completeness_(logic) subject Category:Metalogic.
- Consistency subject Category:Metalogic.
- Decidability_(logic) subject Category:Metalogic.
- Effective_method subject Category:Metalogic.
- Equisatisfiability subject Category:Metalogic.
- Formal_system subject Category:Metalogic.
- Logical_consequence subject Category:Metalogic.
- Logical_equivalence subject Category:Metalogic.
- Meta-communication subject Category:Metalogic.
- Metalanguage subject Category:Metalogic.
- Metalogic subject Category:Metalogic.
- Metasyntactic_variable subject Category:Metalogic.
- Metatheorem subject Category:Metalogic.
- Metavariable subject Category:Metalogic.
- Model_theory subject Category:Metalogic.
- Object_language subject Category:Metalogic.
- Object_theory subject Category:Metalogic.
- Proof_theory subject Category:Metalogic.
- Symbol_(formal) subject Category:Metalogic.
- Syntax_(logic) subject Category:Metalogic.
- Type–token_distinction subject Category:Metalogic.
- Type–token_relations subject Category:Metalogic.
- Use–mention_distinction subject Category:Metalogic.
- Well-formed_formula subject Category:Metalogic.
- Łoś–Tarski_preservation_theorem subject Category:Metalogic.
- Category:Formal_languages broader Category:Metalogic.
- Category:Formal_systems broader Category:Metalogic.
- Category:Metatheorems broader Category:Metalogic.
- Category:Model_theory broader Category:Metalogic.
- Category:Proof_theory broader Category:Metalogic.