Home  Mathematical_Logic  Substructural Logics 
Page 1 150 of 50 1 
1. 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/logicsubstructural/  

2. 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  

3. 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  

4. 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/topic571118/substructurallogic  

5. 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  

6. Substructural Logics In Natural Deduction  Zimmermann 15 (3): 211  Logic Jou Extensions of Natural Deduction to Substructural logics of Intuitionistic Logic are shown Fragments of Intuitionistic Linear, Relevant and BCK Logic. http://jigpal.oxfordjournals.org/cgi/content/abstract/15/3/211  

7. 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  

8. 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/  

9. Atlas: Relational Semantics For Distributive Substructural Logics By Tomoyuki Su In the present talk, we discuss relational semantics for distributive Substructural logics, i.e. Substructural logics over FL satisfying the distributive http://atlasconferences.com/cgibin/abstract/caug26  

10. 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  

11. (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  

12. 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 
13. 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  

14. Relevance Principle For Substructural Logics With Mingle And Strong Negation  We introduce intuitionistic and classical Substructural logics with structural rules mingle and connective strong negation, and investigate the http://logcom.oxfordjournals.org/cgi/content/abstract/12/6/913  

15. 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  

16. 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=10798986(200112)7:4<527:AITSL>2.0.CO;2N 
17. 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  

18. 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  

19. CiNii  Glueing Of Algebras For Substructural Logics(NonClassical Logics And Th 127139. Kyoto University. Bibliography. Glueing of Algebras for Substructural logics(NonClassical logics and Their Kripke Semantics) http://ci.nii.ac.jp/naid/110004707196/en/  

20. 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  

21. Math: Logic And Foundations: Nonstandard Logics And Extensions: Substructural Lo A section of the SWIF map of logic on the WWW. Resources are in English and Italian. http//lgxserver.uniba.it/lei/logica/lglin_lo.htm. Substructural logics http://www.spacetransportation.org/Math/Logic_and_Foundations/Nonstandard_Logics  

22. 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  

23. CiteULike: Tag Substructurallogics [2 Articles] posted to affinelogic cirquentcalculus computabilitylogic linearlogic logic prooftheory resourcesemantic sequentcalculus Substructurallogics by http://www.citeulike.org/tag/substructurallogics  

24. 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 
25. Residuated Lattices: An Algebraic Glimpse At Substructural Logics Is Available F Residuated Lattices an Algebraic Glimpse at Substructural logics only $130.37, get the Residuated Lattices an Algebraic Glimpse at Substructural logics http://www.bestprices.com/cgibin/vlink/0444521410?id=nsession 
26. CAT.INIST Logic for two The semantics of distributive Substructural logics. J SLANEY, R MEYER Lecture notes in computer science, 554567, SpringerVerlag. http://cat.inist.fr/?aModele=afficheN&cpsidt=2731769 
27. 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.unitrier.de/~ley/db/indices/atree/k/Kamide:Norihiro.html  

28. 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/  

29. Peter Suber, "NonStandard 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  

30. 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 
31. Bibliography Of The Book "An Introduction To Substructural Logics" Bibliography of the book An Introduction to Substructural logics . This bibliography is a part of the Computer Science Bibliography Collection. http://liinwww.ira.uka.de/bibliography/Theory/isl.html  

32. 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 
33. TRARP194 John Slaney. The Crisis In Finite Mathematics Finite Models for some Substructural logics. 18 pages TRARP594 Greg Restall. Displaying and Deciding Substructural logics 1 logics with http://ftp.rsise.anu.edu.au/techreports/index.txt 
34. Substructural Logics: A Primer  Logic Journals, Books & Online Media  Springer Substructural logics A Primer Logic. Substructural logics are by now one of the most prominent branches of the research field usually labelled as http://www.springer.com/west/home/new & forthcoming titles (default)?SGWID=4403 
35. Publications LDSNatural Deduction For Substructural Logics LDSNatural Deduction for Substructural logics. Krysia Broda, Marcelo Finger, Alessandra Russo. Journal Article 1996 Volume 4; Issue 3; pp.486Â489 http://pubs.doc.ic.ac.uk/LDSSubstructural/ 
36. Proof Theory  Substructural Logics A selection of articles related to Proof theory Substructural logics. http://www.experiencefestival.com/proof_theory__substructural_logics  

37. Introduction To Substructural Logics ~ Greg Restall ~ EBookMall ~ EBook Introduction to Substructural logics eBook Greg Restall  eBookMall  World s Largest Selection! http://ebooks.ebookmall.com/title/introductiontosubstructurallogicsrestalle  

38. Math: Logic And Foundations: Nonstandard Logics And Extensions: Substructural Lo Substructural and Paraconsistent logics http//lgxserver.uniba.it/lei/logica/lglin_lo.htm http//plato.stanford.edu/entries/logicSubstructural/ http://www.atomseek.com/Math/Logic_and_Foundations/Nonstandard_Logics_and_Extens  

39. Residuated Lattices: An Algebraic Glimpse At Substructural Logics  Blackwell On Blackwell Residuated Lattices An Algebraic Glimpse at Substructural logics, Galatos, Nikolaos Jipsen, Peter Kowalski, Tomasz, Elsevier Science. http://bookshop.blackwell.co.uk/jsp/id/Residuated_Lattices_An_Algebraic_Glimpse_  

40. 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/doctoe.html  

41. 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 
42. 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.computationallogic.org/iccl/events/SA2004/  

43. Chapters.indigo.ca: An Introduction To Substructural Logics: Restall: Books This is the first book to systematically survey new areas of Substructural logics. This book is geared to introduce the topic to advanced students. http://www.chapters.indigo.ca/books/AnIntroductiontoSubstructuralLogicsRest  

44. Alasdair Urquhart  Complexity Problems For Substructural Logics Alasdair Urquhart Complexity problems for Substructural logics. http://www.math.ca/Events/winter99/abstracts/node50.html  

45. 15816 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  

46. 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/  

Page 1 150 of 50 1 