Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Strict_logic> ?p ?o }
Showing triples 1 to 25 of
25
with 100 triples per page.
- Strict_logic abstract "Strict logic is essentially synonymous with relevant logic, though it can be characterized proof-theoretically as ordinary logic without Disjunction introduction, or linear logic with contraction.".
- Strict_logic wikiPageID "693240".
- Strict_logic wikiPageLength "453".
- Strict_logic wikiPageOutDegree "7".
- Strict_logic wikiPageRevisionID "666155622".
- Strict_logic wikiPageWikiLink Category:Substructural_logic.
- Strict_logic wikiPageWikiLink Disjunction_introduction.
- Strict_logic wikiPageWikiLink Idempotency_of_entailment.
- Strict_logic wikiPageWikiLink Linear_logic.
- Strict_logic wikiPageWikiLink Proof_theory.
- Strict_logic wikiPageWikiLink Relevance_logic.
- Strict_logic wikiPageWikiLink Substructural_logic.
- Strict_logic wikiPageWikiLinkText "Strict logic".
- Strict_logic auto "yes".
- Strict_logic date "December 2009".
- Strict_logic wikiPageUsesTemplate Template:Logic-stub.
- Strict_logic wikiPageUsesTemplate Template:Unreferenced_stub.
- Strict_logic subject Category:Substructural_logic.
- Strict_logic comment "Strict logic is essentially synonymous with relevant logic, though it can be characterized proof-theoretically as ordinary logic without Disjunction introduction, or linear logic with contraction.".
- Strict_logic label "Strict logic".
- Strict_logic sameAs Q7623618.
- Strict_logic sameAs m.0339ps.
- Strict_logic sameAs Q7623618.
- Strict_logic wasDerivedFrom Strict_logic?oldid=666155622.
- Strict_logic isPrimaryTopicOf Strict_logic.