This HTML5 document contains 81 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
dbthttp://dbpedia.org/resource/Template:
n10http://en.wikipedia.org/wiki/Category:
rdfshttp://www.w3.org/2000/01/rdf-schema#
skoshttp://www.w3.org/2004/02/skos/core#
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
dbphttp://dbpedia.org/property/
xsdhhttp://www.w3.org/2001/XMLSchema#
dbpedia-commonshttp://commons.dbpedia.org/resource/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Categorical_logic
dcterms:subject
dbc:Systems_of_formal_logic
dbo:wikiPageWikiLink
dbc:Systems_of_formal_logic
Subject Item
dbr:Propositional_calculus
dcterms:subject
dbc:Systems_of_formal_logic
dbo:wikiPageWikiLink
dbc:Systems_of_formal_logic
Subject Item
dbr:Quantum_logic
dcterms:subject
dbc:Systems_of_formal_logic
dbo:wikiPageWikiLink
dbc:Systems_of_formal_logic
Subject Item
dbr:Ω-logic
dcterms:subject
dbc:Systems_of_formal_logic
dbo:wikiPageWikiLink
dbc:Systems_of_formal_logic
Subject Item
dbr:Dependence_logic
dcterms:subject
dbc:Systems_of_formal_logic
dbo:wikiPageWikiLink
dbc:Systems_of_formal_logic
Subject Item
dbr:Dynamic_semantics
dcterms:subject
dbc:Systems_of_formal_logic
dbo:wikiPageWikiLink
dbc:Systems_of_formal_logic
Subject Item
dbr:Infinitary_logic
dcterms:subject
dbc:Systems_of_formal_logic
dbo:wikiPageWikiLink
dbc:Systems_of_formal_logic
Subject Item
dbr:Inquisitive_semantics
dcterms:subject
dbc:Systems_of_formal_logic
dbo:wikiPageWikiLink
dbc:Systems_of_formal_logic
Subject Item
dbr:Intermediate_logic
dcterms:subject
dbc:Systems_of_formal_logic
dbo:wikiPageWikiLink
dbc:Systems_of_formal_logic
Subject Item
dbr:Intuitionistic_logic
dcterms:subject
dbc:Systems_of_formal_logic
dbo:wikiPageWikiLink
dbc:Systems_of_formal_logic
Subject Item
dbr:Systems_of_Logic_Based_on_Ordinals
dcterms:subject
dbc:Systems_of_formal_logic
dbo:wikiPageWikiLink
dbc:Systems_of_formal_logic
Subject Item
dbr:Propositional_proof_system
dcterms:subject
dbc:Systems_of_formal_logic
dbo:wikiPageWikiLink
dbc:Systems_of_formal_logic
Subject Item
dbr:Frege's_propositional_calculus
dcterms:subject
dbc:Systems_of_formal_logic
dbo:wikiPageWikiLink
dbc:Systems_of_formal_logic
Subject Item
dbr:Epsilon_calculus
dcterms:subject
dbc:Systems_of_formal_logic
dbo:wikiPageWikiLink
dbc:Systems_of_formal_logic
Subject Item
dbc:Propositional_calculus
skos:broader
dbc:Systems_of_formal_logic
Subject Item
dbr:Horn_logic
dcterms:subject
dbc:Systems_of_formal_logic
dbo:wikiPageWikiLink
dbc:Systems_of_formal_logic
Subject Item
dbr:Aṣṭādhyāyī
dcterms:subject
dbc:Systems_of_formal_logic
dbo:wikiPageWikiLink
dbc:Systems_of_formal_logic
Subject Item
dbr:Type_theory
dcterms:subject
dbc:Systems_of_formal_logic
dbo:wikiPageWikiLink
dbc:Systems_of_formal_logic
Subject Item
dbr:Logics_for_computability
dcterms:subject
dbc:Systems_of_formal_logic
dbo:wikiPageWikiLink
dbc:Systems_of_formal_logic
Subject Item
dbr:Minimal_logic
dcterms:subject
dbc:Systems_of_formal_logic
dbo:wikiPageWikiLink
dbc:Systems_of_formal_logic
Subject Item
dbr:Two-variable_logic
dcterms:subject
dbc:Systems_of_formal_logic
dbo:wikiPageWikiLink
dbc:Systems_of_formal_logic
Subject Item
dbr:Paraconsistent_logic
dcterms:subject
dbc:Systems_of_formal_logic
dbo:wikiPageWikiLink
dbc:Systems_of_formal_logic
Subject Item
dbr:Alternative_semantics
dcterms:subject
dbc:Systems_of_formal_logic
dbo:wikiPageWikiLink
dbc:Systems_of_formal_logic
Subject Item
dbc:Systems_of_formal_logic
rdf:type
skos:Concept
rdfs:label
Systems of formal logic
skos:broader
dbc:Formal_systems
skos:prefLabel
Systems of formal logic
dbo:wikiPageID
11504647
dbo:wikiPageRevisionID
847114456
owl:sameAs
dbpedia-commons:Systems_of_formal_logic
dbp:wikiPageUsesTemplate
dbt:Commons
prov:wasDerivedFrom
n10:Systems_of_formal_logic?oldid=847114456&ns=14
Subject Item
dbr:First-order_logic
dcterms:subject
dbc:Systems_of_formal_logic
dbo:wikiPageWikiLink
dbc:Systems_of_formal_logic
Subject Item
dbc:Paraconsistent_logic
skos:broader
dbc:Systems_of_formal_logic
Subject Item
dbr:Discourse_representation_theory
dcterms:subject
dbc:Systems_of_formal_logic
dbo:wikiPageWikiLink
dbc:Systems_of_formal_logic
Subject Item
dbr:List_of_Hilbert_systems
dcterms:subject
dbc:Systems_of_formal_logic
dbo:wikiPageWikiLink
dbc:Systems_of_formal_logic
Subject Item
dbr:Attributional_calculus
dcterms:subject
dbc:Systems_of_formal_logic
dbo:wikiPageWikiLink
dbc:Systems_of_formal_logic
Subject Item
dbc:Predicate_logic
skos:broader
dbc:Systems_of_formal_logic
Subject Item
dbc:Substructural_logic
skos:broader
dbc:Systems_of_formal_logic
Subject Item
dbr:Higher-order_logic
dcterms:subject
dbc:Systems_of_formal_logic
dbo:wikiPageWikiLink
dbc:Systems_of_formal_logic
Subject Item
dbr:Zeroth-order_logic
dcterms:subject
dbc:Systems_of_formal_logic
dbo:wikiPageWikiLink
dbc:Systems_of_formal_logic
Subject Item
dbr:Implicational_propositional_calculus
dcterms:subject
dbc:Systems_of_formal_logic
dbo:wikiPageWikiLink
dbc:Systems_of_formal_logic
Subject Item
dbr:Independence-friendly_logic
dcterms:subject
dbc:Systems_of_formal_logic
dbo:wikiPageWikiLink
dbc:Systems_of_formal_logic
Subject Item
dbr:Second-order_logic
dcterms:subject
dbc:Systems_of_formal_logic
dbo:wikiPageWikiLink
dbc:Systems_of_formal_logic
Subject Item
dbr:Predicate_calculus
dcterms:subject
dbc:Systems_of_formal_logic
dbo:wikiPageWikiLink
dbc:Systems_of_formal_logic
Subject Item
dbr:Many-sorted_logic
dcterms:subject
dbc:Systems_of_formal_logic
dbo:wikiPageWikiLink
dbc:Systems_of_formal_logic
Subject Item
dbr:Ordinal_logic
dcterms:subject
dbc:Systems_of_formal_logic
dbo:wikiPageWikiLink
dbc:Systems_of_formal_logic