About: Metalogic

Property	Value
rdf:type	skos:Concept
rdfs:label	Metalogic
skos:broader	dbpedia:Category:Logic dbpedia:Category:Deduction
skos:prefLabel	Metalogic
is skos:broader of	dbpedia:Category:Formal_languages dbpedia:Category:Formal_systems
is skos:subject of	dbpedia:Metalogic dbpedia:Metalanguage dbpedia:Completeness dbpedia:Consistency dbpedia:Decidability_(logic) dbpedia:Formal_language_(logic) dbpedia:Symbol_(formal) dbpedia:Use–mention_distinction dbpedia:Type-token_distinction dbpedia:Effective_method dbpedia:Logical_consequence dbpedia:Formal_system dbpedia:Metasyntactic_variable dbpedia:Metatheorem dbpedia:Object_language dbpedia:Well-formed_formula dbpedia:Syntax_(logic)