Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
Metalogic
An Entity of Type:
Concept
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Property
Value
dbo:
wikiPageID
15214002
(xsd:integer)
dbo:
wikiPageRevisionID
876208462
(xsd:integer)
dbp:
wikiPageUsesTemplate
dbt
:Commons
dbt
:Cat_main
dbt
:Category-Logic/header
dbt
:Contrast
rdf:
type
skos
:Concept
rdfs:
label
Metalogic
(en)
owl:
sameAs
dbpedia-commons
:Metalogic
skos:
broader
dbc
:Metaphilosophy
dbc
:Metatheory
dbc
:Deductive_reasoning
skos:
prefLabel
Metalogic
(en)
prov:
wasDerivedFrom
wikipedia-en
:Category:Metalogic?oldid=876208462&ns=14
is
dbo:
wikiPageWikiLink
of
dbr
:Meta-communication
dbr
:Metalogic
dbr
:Metasyntactic_variable
dbr
:Metatheorem
dbr
:Metavariable
dbr
:Decidability_(logic)
dbr
:Consistency
dbr
:Equisatisfiability
dbr
:Completeness_(logic)
dbr
:Symbol_(formal)
dbr
:Syntax_(logic)
dbr
:Formal_system
dbr
:Logical_consequence
dbr
:Logical_equivalence
dbr
:Well-formed_formula
dbr
:Proof_theory
dbr
:Effective_method
dbr
:Axiom_independence
dbr
:Metalanguage
dbr
:Use–mention_distinction
dbr
:WFF_'N_PROOF
dbr
:Łoś–Tarski_preservation_theorem
dbr
:Type–token_distinction
is
dcterms:
subject
of
dbr
:Meta-communication
dbr
:Metalogic
dbr
:Metasyntactic_variable
dbr
:Metatheorem
dbr
:Metavariable
dbr
:Decidability_(logic)
dbr
:Consistency
dbr
:Equisatisfiability
dbr
:Completeness_(logic)
dbr
:Symbol_(formal)
dbr
:Syntax_(logic)
dbr
:Formal_system
dbr
:Logical_consequence
dbr
:Logical_equivalence
dbr
:Well-formed_formula
dbr
:Proof_theory
dbr
:Effective_method
dbr
:Axiom_independence
dbr
:Metalanguage
dbr
:Use–mention_distinction
dbr
:WFF_'N_PROOF
dbr
:Łoś–Tarski_preservation_theorem
dbr
:Type–token_distinction
is
skos:
broader
of
dbc
:Logical_consequence
dbc
:Proof_theory
dbc
:Formal_languages
dbc
:Metatheorems
dbc
:Formal_systems
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 3.0 Unported License