Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/resource/Category:Metalogic> . }
Showing items 1 to 32 of
32
with 100 items per page.
- 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.
- Occurrences_of_numerals subject Category:Metalogic.
- Proof_theory subject Category:Metalogic.
- Symbol_(formal) subject Category:Metalogic.
- Syntax_(logic) subject Category:Metalogic.
- Type–token_distinction subject Category:Metalogic.
- Use–mention_distinction subject Category:Metalogic.
- Well-formed_formula subject Category:Metalogic.
- Łoś–Tarski_preservation_theorem subject Category:Metalogic.
- Type–token_relations 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.