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