Substructural Logics (Stanford Encyclopedia Of Philosophy) Substructural logics are nonclassical logics weaker than classical logic, notable for the absence of structural rules present in classical logic. http://plato.stanford.edu/entries/logic-substructural/
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 http://en.wikipedia.org/wiki/Substructural_logic
Algebra & Substructural Logics Algebra Substructural logics is a workshop on algebraic structures related to Substructural logic, organised by Hiroakira Ono and Tomasz Kowalski at Japan http://www.jaist.ac.jp/~kowalski/workshop.html
Substructural Logic -- Britannica Online Encyclopedia Perhaps more important have been various socalled Substructural logics in which the usual properties of the deduction symbol are weakened relevance logic http://www.britannica.com/eb/topic-571118/substructural-logic
Substructural Logic Page We give an implicational formula X such the results of strengthening each of the Substructural logics BCI, BCIW and BCK by the addition of X is a distict http://users.rsise.anu.edu.au/~jks/substructural.html
Residuated Lattices An Algebraic Glimpse At Substructural Logics The first and more obvious one is to present state of the art results in algebraic research into residuated structures related to Substructural logics. http://www.elsevier.com/wps/product/cws_home/711437
An Introduction To Substructural Logics Website for the book ``Consequences An Introduction to Substructural logics . Information on Philosophical Logic, Relevant/Relevance Logic, Linear Logic, http://consequently.org/isl/
CTO : Substructural Logics 101 The book An introduction to Substructural logics seems to be the only good introductory resource to the whole field together. There are, though, lots of http://tunes.org/wiki/substructural_20logics_20101.html
(H. Ishihara) A Canonical Model Construction For Substructural Logics Abstract In this paper, we introduce a class of Substructural logics, called normal Substructural logics, which includes not only relevant logic, BCK logic http://www.jucs.org/jucs_6_1/a_canonical_model_construction
Substructural Logic And Partial Correctness An Introduction to Substructural logics. Routledge. 23. Troelstra, A. S. 1992. Lectures on Linear Logic. CSLI Lecture Notes, vol. 29. http://portal.acm.org/citation.cfm?id=772066
An Algebraic Approach To The Disjunction Property Of Substructural Some of the basic Substructural logics are shown by Ono to have the disjunction property (DP) by using cut elimination of sequent calculi for these logics. http://projecteuclid.org/handle/euclid.ndjfl/1193667706
IngentaConnect Kripke Semantics For Modal Substructural Logics We introduce Kripke semantics for modal Substructural logics, and prove the completeness theorems with respect to the semantics. http://www.ingentaconnect.com/content/klu/jlli/2002/00000011/00000004/05092296
JSTOR An Introduction To Substructural Logics An introduction to Substructural logics. Routledge, London and New York 2000, xiv + 381 pp. Substructural logics, the designation for logics with http://links.jstor.org/sici?sici=1079-8986(200112)7:4<527:AITSL>2.0.CO;2-N
6th Panhellenic Logic Symposium :: Invited Lectures The focus of this talk is Substructural logics and their algebraic counterparts. Substructural logics are nonclassical logics that are weaker than http://pls6.pre.uth.gr/invitedl.php
Residuated Lattices An Algebraic Glimpse At Substructural Logics Residuated Lattices An Algebraic Glimpse at Substructural logics, 151 Residuated Lattices An Algebraic Glimpse at Substructural logics, 151 http://www.biolc.com/wps/find/booksorderform.cws_home/711437/bookorderform1_1
Research Residuated Lattices an algebraic glimpse at Substructural logics, with P. Jipsen, Glivenko theorems for Substructural logics over FL, with H. Ono, http://www.math.du.edu/~ngalatos/research/research.html
Substructural Logics Contents Preface A Historical Introduction to Substructural logics K. Do\v{s}en Life in the Undistributed Middle N. Belnap Theorems in Classical Logic are http://www.cis.upenn.edu/~bcpierce/types/archives/1994/msg00048.html
CiteULike: Tag Substructural-logics [2 Articles] posted to affinelogic cirquent-calculus computability-logic linear-logic logic proof-theory resource-semantic sequent-calculus Substructural-logics by http://www.citeulike.org/tag/substructural-logics
Residuated Lattices An Algebraic Glimpse At Substructural Logics Residuated Lattices An Algebraic Glimpse at Substructural logics, 151 Support contact About Elsevier Select your view Advertisers and sponsors http://elsevier.net/wps/find/submitbook.authors/711437?navopenmenu=5
CAT.INIST Logic for two The semantics of distributive Substructural logics. J SLANEY, R MEYER Lecture notes in computer science, 554567, Springer-Verlag. http://cat.inist.fr/?aModele=afficheN&cpsidt=2731769
DBLP: Norihiro Kamide 4, Norihiro Kamide Kripke Semantics for Modal Substructural logics. 2 EE, Norihiro Kamide A Canonical Model Construction for Substructural logics http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Kamide:Norihiro.html
T.Suzuki A relational sematics for distributive Substructural logics and the topological Kripke completeness of some distributive Substructural logics. http://www.cs.le.ac.uk/~ts119/
Peter Suber, "Non-Standard Logics" An Introduction to Substructural logics. Routledge, 2000. (Details.) SchroederHeister, Peter (ed.). Substructural logics. Oxford University Press, 1994. http://www.earlham.edu/~peters/courses/logsys/nonstbib.htm
OUP: UK General Catalogue Substructural logics are nonclassical logics, which arose in response to problems in foundations of mathematics and logic, theoretical computer science, http://www.oup.com/uk/catalogue/?ci=9780198537779
Substructural Logics Substructural logics are typically obtained by dropping structural rules such as weakening, contraction or interchange from the standard Gentzen calculus of http://www.philo.at/phlo/199903/msg00045.html
TR-ARP-1-94 John Slaney. The Crisis In Finite Mathematics Finite Models for some Substructural logics. 18 pages TRARP-5-94 Greg Restall. Displaying and Deciding Substructural logics 1 logics with http://ftp.rsise.anu.edu.au/techreports/index.txt
Proof Theory - Substructural Logics A selection of articles related to Proof theory Substructural logics. http://www.experiencefestival.com/proof_theory_-_substructural_logics
MASTER IN PURE AND APPLIED LOGIC Master degree in pure and applied logic jointly offered by the University of of Substructural logics to computer science and computational linguistics), http://www.ub.es/masterlogic/docto-e.html
Browse Books About Introductory Logic This book introduces an important group of logics that have come to be known under the umbrella term susbstructural . Substructural logics have http://www.routledge.com/shopping_cart/categories/categories_products.asp?parent
ICCL Summer School 2004 In this course, rather than examine decidability or complexity results for Substructural logics and their fragments, we concentrate on the practicalities of http://www.computational-logic.org/iccl/events/SA-2004/
15-816 Linear Logic / Projects A project might consist of some theoretical analysis, an implementation, or an encoding or explanation using linear or other Substructural logic. http://www.cs.cmu.edu/~fp/courses/linear/projects.html
Marcelo Finger's Publications `Algorithmic Correspondence Theory for Substructural Categorial Logic . Advances in Modal Logic 2000, Leipzig, Germany, 47 October 2000. http://www.ime.usp.br/~mfinger/publications/