Multiple-conclusion logic

A multiple-conclusion logic is one in which logical consequence is a relation, $\vdash$, between two sets of sentences (or propositions). $\Gamma \vdash \Delta$ 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^[1] 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).

See also

• Sequent calculus

References

1. ^ D. J. Shoesmith and T. J. Smiley, Multiple Conclusion Logic, Cambridge University Press, 1978

This logic-related article is a stub. You can help Wikipedia by expanding it.v · Categories: Logic Logic stubs Wikimedia Foundation. 2010. Игры ⚽ Поможем сделать НИР Lovers, Liars & Lunatics Parliament of Algeria Look at other dictionaries: Logic — For other uses, see Logic (disambiguation). Philosophy …   Wikipedia Many-valued logic — In logic, a many valued logic (also multi or multiple valued logic) is a propositional calculus in which there are more than two truth values. Traditionally, in Aristotle s logical calculus, there were only two possible values (i.e., true and… …   Wikipedia Multi-valued logic — Multi valued logics are logical calculi in which there are more than two truth values. Traditionally, logical calculi are two valued that is, there are only two possible truth values (i.e. truth and falsehood) for any proposition to take. An… …   Wikipedia History of logic — Philosophy ( …   Wikipedia Dynamic logic (modal logic) — For the subject in digital electronics also known as clocked logic, see dynamic logic (digital electronics). Dynamic logic is an extension of modal logic originally intended for reasoning about computer programs and later applied to more general… …   Wikipedia Linear logic — In mathematical logic, linear logic is a type of substructural logic that denies the structural rules of weakening and contraction . The interpretation is of hypotheses as resources : every hypothesis must be consumed exactly once in a proof.… …   Wikipedia Problem of multiple generality — The problem of multiple generality names a failure in traditional logic to describe certain intuitively valid inferences. For example, it is intuitively clear that if:: Some cat is feared by every mouse then it follows logically that:: All mice… …   Wikipedia Intuitionistic logic — Intuitionistic logic, or constructive logic, is a symbolic logic system differing from classical logic in its definition of the meaning of a statement being true. In classical logic, all well formed statements are assumed to be either true or… …   Wikipedia Term logic — In philosophy, term logic, also known as traditional logic, is a loose name for the way of doing logic that began with Aristotle, and that was dominant until the advent of modern predicate logic in the late nineteenth century.This entry is an… …   Wikipedia Boolean algebra (logic) — For other uses, see Boolean algebra (disambiguation). Boolean algebra (or Boolean logic) is a logical calculus of truth values, developed by George Boole in the 1840s. It resembles the algebra of real numbers, but with the numeric operations of… …   Wikipedia 18+ © Academic, 2000-2024 Contact us: Technical Support, Advertising Dictionaries export, created on PHP, Joomla, Drupal, WordPress, MODx. Mark and share Search through all dictionaries Translate… Search Internet Share the article and excerpts Direct link … Do a right-click on the link above and select “Copy Link”