|
Substructural logics are non-classical logics weaker than classical logic, notable for the absence of structural rules present in classical logic. These logics are motivated by considerations from philosophy (relevant logics), linguistics (the Lambek calculus) and computing (linear logic).
|
|
Substructural logic - Wikipedia, the free encyclopedia
In mathematical logic, in particular in connection with proof theory, a number of substructural logics have been introduced, as systems of propositional calculus that are weaker than the conventiona...
en.wikipedia.org/wiki/Substructural_logic |
||
|
Abstract: In this paper, we introduce a class of substructural logics, called normal substructural logics, which includes not only relevant logic, BCK logic, linear logic and the Lambek calculus but also weak logics with strict implication, and de ne Kripke- style semantics (Kripke frames and models) for...
|
||
|
The first and more obvious one is to present state of the art results in algebraic research into residuated structures related to substructural logics. The second, less obvious but equally important, is to provide a reasonably gentle introduction to algebraic logic.
|
||
|
Amazon.com: An Introduction to Substructural Logics (9780415215343):
|
||
|
Start reading Substructural Logics: A Primer on your Kindle in under a minute. ... "This is a well written introduction to … substructural logics. ...
|
||
|
This book is, as the title says, an introduction to substructural logics. Think of it as a book which tries to do for substructural logics what Hughes and Cresswell’s New Introduction did for modal logics. This book was published by Routledge in January 2000.
|
||
|
Nonstandard Logics and Extensions, Dynamic Logic, Fuzzy Logic, Intuitionistic Logic, Many-valued Logic, Modal Logic, Substructural Logics, Temporal Logic ... Dynamic Logic | Fuzzy Logic | Intuitionistic Logic | Many-valued Logic | Modal Logic | Substructural Logics | Temporal Logic...
|
||
|
(4) Introduction to Substructural Logics ... This book introduces an important group of logics that have come to be known as substructural. It is the first to survey the imp ... Merchant: eBooks.com; Buy now - Details - Tell a Friend! - Add to Favorites...
|
||
|
Master degree in pure and applied logic jointly offered by the University of Barcelona and the Polytechnic University of Catalunya ... MASTER IN PURE AND APPLIED LOGIC 2008 – 2010 ... Català Castellano English Interuniversity Master UB UPC...
|