Substructural logic
Substructural logic In mathematical logic, in particular in connection with proof theory, a number of substructural logics have been introduced, as systems of ... deduction formulation. Two of the more significant substructural logics are relevant logic and linear ...
http://en.wikipedia.org/wiki/Substructural_logic - 4k - Cached - Similar pages

Category:Substructural logic
Category:Substructural logic Pages in category "Substructural logic" There are 7 pages in this section of this category. * Substructural logic A Affine logic B Bunched ...
http://en.wikipedia.org/wiki/Category:Substructural_logic - 0k - Cached - Similar pages

Affine logic
Affine logic A substructural logic that denies the structural rule of contraction ... It can also be characterized as linear logic with weakening. Affine logic can be embedded into linear logic ...
http://en.wikipedia.org/wiki/Affine_logic - 1k - Cached - Similar pages

Bunched logic
Bunched logic Bunched logic is a variety of substructural logic that, like linear logic, has classes of multiplicative and additive ...
http://en.wikipedia.org/wiki/Bunched_logic - 2k - Cached - Similar pages

Noncommutative logic
Noncommutative logic Noncommutative logic is the name given to a family of substructural logics in which the exchange rule is inadmissible. The oldest noncommutative logic is the Lambek calculus, which gave rise ... publication of Jean-Yves Girard's linear logic there have been several new noncommutative ...
http://en.wikipedia.org/wiki/Noncommutative_logic - 7k - Cached - Similar pages

Strict logic
Strict logic Strict logic is essentially synonymous with relevant logic, though it can be characterized proof-theoretically as ordinary logic without weakening, or linear logic with contraction. See also Substructural logic
http://en.wikipedia.org/wiki/Strict_logic - 0k - Cached - Similar pages

Linear logic
Linear logic In mathematical logic, linear logic is a type of substructural logic that denies the structural rules of ...
http://en.wikipedia.org/wiki/Linear_logic - 19k - Cached - Similar pages

Relevance logic
Relevance logic Relevance logic, also called relevant logic, is any of a family of non-classical substructural logics that impose certain restrictions on implication ... is generally, but not universally, called relevant logic by Australian logicians, and relevance logic ...
http://en.wikipedia.org/wiki/Relevance_logic - 5k - Cached - Similar pages

Talk:Logic/archive-1
Talk:Logic/archive-1 < Talk:Logic Archive-1 created Charles Stewart 07:44 ... benefit greatly from an explanation of how logic relates to artificial languages, predicate, sentential and modal logic as prime examples. This would also naturally involve a small digression on how logic relates to natural languages and linguistics ...
http://en.wikipedia.org/wiki/Talk:Logic/archive-1 - 88k - Cached - Similar pages

List of mathematical logic topics
List of mathematical logic topics This is a list of mathematical logic topics, by Wikipedia page. For traditional syllogistic logic, see the list of topics in logic. See also the list of computability and ... sequence Interpretability Weak interpretability Cointerpretability Second-order logic Whitehead problem Thompson groups Kurt Gödel ...
http://en.wikipedia.org/wiki/List_of_mathematical_logic_topics - 13k - Cached - Similar pages