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:
Implicational propositional calculus
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Version of classical propositional calculus which uses only the material conditional connective
Property
Value
dbo:
description
version of classical propositional calculus which uses only the material conditional connective
(en)
dbo:
wikiPageExternalLink
https://www.jstor.org/stable/20488489
http://worldcat.org/oclc/259359
dbo:
wikiPageWikiLink
dbr
:Axiom_schema
dbr
:Co-NP-complete
dbc
:Articles_containing_proofs
dbr
:Classical_logic
dbc
:Propositional_calculus
dbr
:Rule_of_inference
dbr
:Peirce's_law
dbr
:Binary_operation
dbr
:Propositional_calculus
dbr
:Truth_table
dbr
:Functional_completeness
dbr
:False_(logic)
dbr
:Modus_ponens
dbr
:Compactness_theorem
dbr
:Substitution_(logic)
dbr
:Tautology_(logic)
dbr
:Completeness_(logic)
dbc
:Conditionals
dbc
:Systems_of_formal_logic
dbr
:Logical_connective
dbr
:Logical_operator
dbr
:Mathematical_logic
dbr
:Truth_function
dbr
:Material_conditional
dbr
:Logical_equivalence
dbr
:Hypothetical_syllogism
dbr
:Valuation_(logic)
dbr
:Formula
dbr
:Deduction_theorem
dbr
:NP-complete
dbr
:Entailment
dbr
:List_of_logic_systems
dbp:
wikiPageUsesTemplate
dbt
:Main
dbt
:Reflist
dbt
:Math
dbt
:=
dbt
:EquationNote
dbt
:EquationRef
dbt
:Section_link
dbt
:NumBlk
dct:
subject
dbc
:Articles_containing_proofs
dbc
:Propositional_calculus
dbc
:Conditionals
dbc
:Systems_of_formal_logic
rdfs:
label
Implicational propositional calculus
(en)
Cálculo proposicional implicacional
(pt)
蕴涵命题演算
(zh)
owl:
sameAs
freebase
:Implicational propositional calculus
yago-res
:Implicational propositional calculus
wikidata
:Implicational propositional calculus
dbpedia-zh
:Implicational propositional calculus
dbpedia-pt
:Implicational propositional calculus
dbpedia-global
:Implicational propositional calculus
prov:
wasDerivedFrom
wikipedia-en
:Implicational_propositional_calculus?oldid=1286810828&ns=0
foaf:
isPrimaryTopicOf
wikipedia-en
:Implicational_propositional_calculus
is
dbo:
knownFor
of
dbr
:Paul_Bernays
is
dbo:
wikiPageDisambiguates
of
dbr
:Implication
is
dbo:
wikiPageWikiLink
of
dbr
:SKI_combinator_calculus
dbr
:Minimal_logic
dbr
:Propositional_calculus
dbr
:Implication
dbr
:Paraconsistent_logic
dbr
:Hilbert_system
dbr
:Material_conditional
dbr
:B,_C,_K,_W_system
dbr
:List_of_things_named_after_Alfred_Tarski
dbr
:BCK_algebra
dbr
:List_of_Hilbert_systems
is
dbp:
knownFor
of
dbr
:Paul_Bernays
is
foaf:
primaryTopic
of
wikipedia-en
:Implicational_propositional_calculus
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International