Results 1 to 10 of about 196 for "substructural +logics " .

Did you mean: "substructural+logic"

Giga Bits (more) theory Introduction to Substructural Logics proof theory
logic Modal 1993 intuitionistic
Semantics Restall algebraic 2000

Substructural Logics
Survey from the Stanford Encyclopedia of Philosophy by Greg Restall.
Search in Category: Science: Math: Logic and Foundations: Nonstandard Logics and Extensions: Substructural Logics
Search in Category: Society: Philosophy: Reference: Stanford Encyclopedia of Philosophy
Search in Category: Society: Philosophy: Education: Writing Guides
plato.stanford.edu/entries/logic-substructural/ - published: Jul 04 2000 - cached - More from this site


rArr;
Substructural logics are non-classical logics weaker than classical logic, ...
consequently.org/writing/slintro/ - cached - More from this site


An Introduction to Substructural Logics
Think of it as a book which tries to do for substructural logics what Hughes ...
consequently.org/writing/isl/ - published: Jan 01 2000 - cached - More from this site


Restricted Arrow: a paper on new proof systems for some ...
springerlink.com/content/423286r002j03954/ - More from this site


Papers on (mostly distributive) Substructural Logics
Papers on (mostly distributive) Substructural Logics. John Slaney More ...
users.rsise.anu.edu.au/~jks/substructural.html - cached - More from this site


 PDF  A Constructive Approach to the Resource Semantics of ...
www-2.cs.cmu.edu/~fp/papers/substruct09.pdf - More from this site


Invited Lectures
... tools for the comparative study of substructural logics.. Stress that the ...
pls6.pre.uth.gr/invitedl.php - published: Jul 08 2007 - cached - More from this site


writing
An Introduction to Substructural Logics,. Routledge, 2000. [Page , Amazon]. ...
Search in Category: Society: People: Personal Homepages: Weblogs: C
www.consequently.org/writing/ - published: Jul 01 1995 - cached - More from this site


 PDF  Vita
Relational semantics for substructural logics I and II, Seminar of the ...
www.math.ru.nl/~mgehrke/vita.pdf - published: Feb 01 2006 - cached - More from this site


Logic Jnl IGPL -- Table of Contents (October 2008, 16 [5])
Structural Completeness in Substructural Logics Logic Journal of IGPL ...
jigpal.oxfordjournals.org/current.dtl - cached - More from this site



Next 10 Results

Try your search on gigablast   google   yahoo   msn   ask   dmoz