Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Multiple-conclusion_logic> ?p ?o. }
Showing items 1 to 12 of
12
with 100 items per page.
- Multiple-conclusion_logic abstract "A multiple-conclusion logic is one in which logical consequence is a relation, , between two sets of sentences (or propositions). is typically interpreted as meaning that whenever each element of is true, some element of is true; and whenever each element of is false, some element of is false.This form of logic was developed in the 1970s by D. J. Shoesmith and Timothy Smiley but has not been widely adopted.Some logicians favor a multiple-conclusion consequence relation over the more traditional single-conclusion relation on the grounds that the latter is asymmetric (in the informal, non-mathematical sense) and favors truth over falsity (or assertion over denial).".
- Multiple-conclusion_logic wikiPageID "3748162".
- Multiple-conclusion_logic wikiPageRevisionID "405064210".
- Multiple-conclusion_logic hasPhotoCollection Multiple-conclusion_logic.
- Multiple-conclusion_logic subject Category:Logic.
- Multiple-conclusion_logic comment "A multiple-conclusion logic is one in which logical consequence is a relation, , between two sets of sentences (or propositions). is typically interpreted as meaning that whenever each element of is true, some element of is true; and whenever each element of is false, some element of is false.This form of logic was developed in the 1970s by D. J.".
- Multiple-conclusion_logic label "Multiple-conclusion logic".
- Multiple-conclusion_logic sameAs m.09ywl2.
- Multiple-conclusion_logic sameAs Q6934867.
- Multiple-conclusion_logic sameAs Q6934867.
- Multiple-conclusion_logic wasDerivedFrom Multiple-conclusion_logic?oldid=405064210.
- Multiple-conclusion_logic isPrimaryTopicOf Multiple-conclusion_logic.