This HTML5 document contains 44 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/
foafhttp://xmlns.com/foaf/0.1/
n12https://global.dbpedia.org/id/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
dbchttp://dbpedia.org/resource/Category:
n15https://www.sfu.ca/~jeffpell/papers/
xsdhhttp://www.w3.org/2001/XMLSchema#
n10http://gdz.sub.uni-goettingen.de/dms/resolveppn/
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/
n18http://gdz.sub.uni-goettingen.de/dms/resolveppn/%3FPPN=GDZPPN002375605%7Cdoi=10.1007/

Statements

Subject Item
dbr:System_L
rdfs:label
System L
rdfs:comment
System L is a natural deductive logic developed by E.J. Lemmon. Derived from Suppes' method, it represents natural deduction proofs as sequences of justified steps. Both methods are derived from Gentzen's 1934/1935 natural deduction system, in which proofs were presented in tree-diagram form rather than in the tabular form of Suppes and Lemmon. Although the tree-diagram layout has advantages for philosophical and educational purposes, the tabular layout is much more convenient for practical applications.
dcterms:subject
dbc:Propositional_calculus
dbo:wikiPageID
26561226
dbo:wikiPageRevisionID
998720833
dbo:wikiPageWikiLink
dbr:Modus_Ponendo_Ponens dbr:Principle_of_explosion dbr:Deductive_system dbr:Modus_tollens dbr:Substitution_(logic) dbr:Sequent dbr:Monotonicity_of_entailment dbr:Gerhard_Gentzen dbr:Reductio_Ad_Absurdum dbr:Natural_deductive_logic dbr:Natural_deduction dbr:Sequent_calculus dbc:Propositional_calculus dbr:Rule_of_inference dbr:Context-free_grammar dbr:John_Lemmon dbr:Well-formed_formula dbr:Patrick_Suppes
dbo:wikiPageExternalLink
n10:%3FPPN=GDZPPN002375508 n15:pelletierNDtexts.pdf n18:bf01201363
owl:sameAs
n12:4vJrs wikidata:Q7663659 freebase:m.0bh98g8
dbp:wikiPageUsesTemplate
dbt:Cite_book dbt:More_citations_needed dbt:Cite_journal dbt:Harvtxt dbt:Reflist
dbo:abstract
System L is a natural deductive logic developed by E.J. Lemmon. Derived from Suppes' method, it represents natural deduction proofs as sequences of justified steps. Both methods are derived from Gentzen's 1934/1935 natural deduction system, in which proofs were presented in tree-diagram form rather than in the tabular form of Suppes and Lemmon. Although the tree-diagram layout has advantages for philosophical and educational purposes, the tabular layout is much more convenient for practical applications. A similar tabular layout is presented by Kleene. The main difference is that Kleene does not abbreviate the left-hand sides of assertions to line numbers, preferring instead to either give full lists of precedent propositions or alternatively indicate the left-hand sides by bars running down the left of the table to indicate dependencies. However, Kleene's version has the advantage that it is presented, although only very sketchily, within a rigorous framework of metamathematical theory, whereas the books by Suppes and Lemmon are applications of the tabular layout for teaching introductory logic.
gold:hypernym
dbr:Logic
prov:wasDerivedFrom
wikipedia-en:System_L?oldid=998720833&ns=0
dbo:wikiPageLength
18062
foaf:isPrimaryTopicOf
wikipedia-en:System_L
Subject Item
dbr:Natural_deduction
dbo:wikiPageWikiLink
dbr:System_L
Subject Item
dbr:Sequent
dbo:wikiPageWikiLink
dbr:System_L
Subject Item
dbr:System_L_(Lemmon)
dbo:wikiPageWikiLink
dbr:System_L
dbo:wikiPageRedirects
dbr:System_L
Subject Item
wikipedia-en:System_L
foaf:primaryTopic
dbr:System_L