Frege's_propositional_calculus

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

unknown

Property	Value
dbo:wikiPageExternalLink	https://dspace.lu.lv/dspace/bitstream/handle/7/34986/Detlovs_Podnieks_Math_Logic.pdf%3Fsequence=1&isAllowed=y%7Csection=Axioms https://www.math.ucsd.edu/~sbuss/ResearchWeb/handbookI/ChapterI.pdf
dbo:wikiPageWikiLink	dbr:Axiomatization dbr:Gottlob_Frege dbc:Propositional_calculus dbc:Logical_calculi dbr:Propositional_calculus dbr:University_of_Latvia dbr:Modus_ponens dbr:Well-formed_formula dbr:Logical_conjunction dbr:Begriffsschrift dbr:Axiom dbc:Systems_of_formal_logic dbr:Charles_Sanders_Peirce dbr:Hugh_MacColl dbr:Mathematical_logic dbr:Converse_(logic) dbr:Logical_disjunction dbr:Ex_contradictione_quodlibet dbr:Reductio_ad_absurdum dbr:Predicate_calculus dbr:Tertium_non_datur dbr:Generating_set dbr:Calculus_of_equivalent_statements dbr:Inference_rule dbr:Second-order_predicate_calculus
gold:hypernym	dbr:Axiomatization
rdfs:label	Cálculo proposicional de Frege (es) 弗雷格命题演算 (zh) Cálculo proposicional de Frege (es) 弗雷格命题演算 (zh)
owl:sameAs	freebase:m.06cfwf yago-res:Frege's_propositional_calculus wikidata:Q714691 dbpedia-zh:弗雷格命题演算 dbpedia-es:Cálculo_proposicional_de_Frege dbpedia-hu:Frege-kalkulus dbpedia-global:4tE4i
is dbo:wikiPageRedirects of	dbr:Frege_propositional_calculus
is dbo:wikiPageWikiLink of	dbr:Gottlob_Frege dbr:Sequent_calculus dbr:Propositional_calculus dbr:Frege_system dbr:Begriffsschrift dbr:Propositional_proof_system dbr:Hilbert_system dbr:Frege_propositional_calculus

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International