Matches in DBpedia 2014 for { <http://dbpedia.org/resource/System_L> ?p ?o. }
Showing items 1 to 13 of
13
with 100 items per page.
- System_L 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.".
- System_L wikiPageExternalLink pelletierNDtexts.pdf.
- System_L wikiPageID "26561226".
- System_L wikiPageRevisionID "461033328".
- System_L hasPhotoCollection System_L.
- System_L subject Category:Propositional_calculus.
- System_L 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.".
- System_L label "System L".
- System_L sameAs m.0bh98g8.
- System_L sameAs Q7663659.
- System_L sameAs Q7663659.
- System_L wasDerivedFrom System_L?oldid=461033328.
- System_L isPrimaryTopicOf System_L.