System_L

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

unknown

Property	Value
dbo:wikiPageExternalLink	http://gdz.sub.uni-goettingen.de/dms/resolveppn/%3FPPN=GDZPPN002375508 https://www.sfu.ca/~jeffpell/papers/pelletierNDtexts.pdf http://gdz.sub.uni-goettingen.de/dms/resolveppn/%3FPPN=GDZPPN002375605%7Cdoi=10.1007/bf01201363
dbo:wikiPageWikiLink	dbc:Propositional_calculus dbr:Modus_tollens dbr:Natural_deduction dbr:Monotonicity_of_entailment dbr:Substitution_(logic) dbr:Deductive_system dbr:Sequent dbr:Gerhard_Gentzen dbr:Sequent_calculus dbr:Principle_of_explosion dbr:Context-free_grammar dbr:Patrick_Suppes dbr:Well-formed_formula dbr:Rule_of_inference dbr:John_Lemmon dbr:Natural_deductive_logic dbr:Reductio_Ad_Absurdum dbr:Modus_Ponendo_Ponens
gold:hypernym	dbr:Logic
owl:sameAs	freebase:m.0bh98g8 wikidata:Q7663659 dbpedia-global:4vJrs
is dbo:wikiPageRedirects of	dbr:System_L_(Lemmon)
is dbo:wikiPageWikiLink of	dbr:Natural_deduction dbr:Sequent dbr:System_L_(Lemmon)

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