Home  Mathematical_Logic  Bck And Bci Logics 
Page 1 154 of 54 1 
1. BCK And BCI Logics, Condensed Detachment And The $2$property. BCK and BCI logics, condensed detachment and the $2$property. J. Roger Hindley. Source Notre Dame J. Formal Logic Volume 34, Number 2 (1993), 231250. http://projecteuclid.org/handle/euclid.ndjfl/1093634655  

2. List KWIC DDC22 510 And MSC+ZDM EN Lexical Connection linear logic, Lambek calculus, BCK and BCI logics) substructural logics (including relevance, entailment, 03B47 linear mappings, matrices, determinants, http://www.math.unipd.it/~biblio/kwic/msccdd/dml2_11_33.htm  

3. JSTOR The Number Of Proofs For A BCKFormula 6 ~, BCK and BCI logics, condensed detachment and the 2property, Notre Dame Journal of Formal Logic, to appear. 7 S. HIROKAWA, Principal types of http://links.jstor.org/sici?sici=00224812(199306)58:2<626:TNOPFA>2.0.CO;2H 
4. Wieslaw A. Dudek Rough subalgebras of some binary algebras connected with logics, A computer method of computation of BCK and BCIalgebras of small orders, http://www.im.pwr.wroc.pl/~dudek/alglog.htm  

5. 03Bxx 03B05 Classical propositional logic; 03B10 Classical firstorder logic linear logic, Lambek calculus, BCK and BCI logics) {For prooftheoretic aspects http://www.ams.org/msc/03Bxx.html  

6. J Roger Hindley : Research MR1231287 J R Hindley, BCK and BCI logics, condensed detachment and the 2property, Notre Dame Journal of Formal Logic 34 (1993), 231250. http://wwwmaths.swan.ac.uk/staff/jrh/JRHresearch.html  

7. Notre Dame Journal Of Formal Logic, Volume 34 223230 BibTeX J. Roger Hindley BCK and BCI logics, Condensed Detachment and the 2Property. 231250 BibTeX M. Gordon Beavers Extensions of the http://www.informatik.unitrier.de/~ley/db/journals/ndjfl/ndjfl34.html  

8. Logic Jnl IGPL  Sign In Page Roger Hindley J. (1993) ÂBCK and BCI logics, Condensed Detachment and the 2PropertyÂ. Notre Dame Journal of Formal Logic 34231Â250. Humberstone Lloyd. http://jigpal.oxfordjournals.org/cgi/content/full/jzm005v1  

9. 03Bxx 03B47, Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) {For prooftheoretic aspects see 03F52} http://www.impan.gov.pl/LIB/MSC/03Bxx.html  

10. HeiDOK 03B45 Modal logic ( 0 Dok. ) 03B47 Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) ( 0 Dok. http://archiv.ub.uniheidelberg.de/volltextserver/msc_ebene3.php?anzahl=0&la=de& 
11. 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  

12. BCKANDBCILOGICSCONDENSEDDETACHMENTANDTHE$2$PROPERTY Translate this page BCK and BCI logics, CONDENSED DETACHMENT and THE $2$PROPERTY. http://biblioteca.universia.net/html_bura/ficha/params/id/980008.html  

13. List KWIC DDC And MSC Lexical Connection logics linear logic and other substructural 03F52 logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) http://www.mi.imati.cnr.it/~alberto/dml_11_29.htm  

14. MSC 2000 : CC = Ore 0399 Mathematical logic and foundations (not classified at a more specific linear logic, Lambek calculus, BCK and BCI logics) For prooftheoretic http://portail.mathdoc.fr/cgibin/msc2000.py?L=fr&T=Q&C=msc2000&CC=Ore 
15. IngentaConnect Substructural Implicational Logics Including The Relevant Logic E Substructural Implicational logics Including the Relevant Logic E EW and S4W); BCIlogic, BCKlogic, relevant logic R, and the intuitionistic logic. http://www.ingentaconnect.com/content/klu/stud/1999/00000063/00000002/00239710  

16. Bibliography On Linear Logic BCKcombinators and linear lambdaterms have types. Theoretical Computer Science, 6497105, 1989. J. R. Hindley. BCK and BCIlogics, condensed detachment http://www.cs.cmu.edu/~carsten/linearbib/llb.html  

17. Condensed Detachment  Wikipedia, The Free Encyclopedia BCK and BCI logics, condensed detachment and the $2$property by J. Roger Hindley, Notre Dame Journal of Formal Logic 34, no. 2 (1993), 231Â250 http://en.wikipedia.org/wiki/Condensed_Detachment  

18. General General Mathematics Mathematics For Nonmathematicians for provability logic see also 03F45} Substructural logics (including linear logic, Lambek calculus, BCK and BCI logics) {For prooftheoretic http://amf.openlib.org/2001/msc2000.xsd  

19. 363/369 (Total 5522) NO 92 03B50 Manyvalued Logic Translate this page 90, 03B47, Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) {For prooftheoretic aspects see 03F52} http://www.mathnet.or.kr/mathnet/msc_list.php?mode=list&ftype=&fstr=&page=363 
20. AUTHOR INDEX A Constructive Negation Defined with a Negation Connective for logics Including Bp+ Classical versions of BCI, BCK and BCIW logics, 6165 23/2 http://www.filozof.uni.lodz.pl/bulletin/s.html  

21. Notre Dame Journal Of Formal Logic BCK and BCI logics, Condensed Detachment and the 2Property. by J. Roger Hindley v. 34 i. 2 p. 231  250. Extensions of the aleph0Valued Lukasiewicz http://wotan.liu.edu/docis/dbl/ndjofl/index.html  

22. MathGuide  OPAC Subject Catalog 03XX Mathematical logic and foundations 03B47 Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) http://www.mathguide.de/cgibin/ssgfi/navigator2.pl/db=math/type=gok/pattern=all  

23. Brouwer: A Proof Finding Program The BCI mode is like BCK , but restricts proofs to terms where each In the BCK and BCI modes the restriction to only one variable of each type is http://members.ozemail.com.au/~dekker/BROUWER.HTML  

24. LIACC  Report 19961998 And Plan 19992001  D.1.1 NCC: Plan For 19992001 Here the goal is to explore the relationship between the two systems and the BCK and BCIlogic respectively, also taking into account the investigation http://193.136.27.97/liaccinfo/reps/hrep98/report9698_9.html  

25. Atlas: On Nfold Ideals In BCKalgebras Based On Tnorme And Fuzzy Point By Cele In 1991, Xi 7 applied the concept of fuzzy sets to BCI, BCK, MValgebras . in other ways, a BCIalgebra arose from algebra of non classical logic as http://atlasconferences.com/c/a/k/e/23.htm  

26. Logic And Computer Vol.4 Logic.ru Extensions of logic BCK commutative BCK and an implicational fragment LwÂ® of logic Lw. BCI and BCKalgebras. Algebraic versions of logic LwÂ®. http://logic.ru/en/node/48 
27. Sachgebiete Der AMSKlassifikation: 0009 topics 03XX Mathematical logic and foundations 0300 General reference . See also {06B30, 22A26, 54F05, 54H12} 06F35 BCKalgebras, BCIalgebras, http://www.math.fuberlin.de/litrech/Class/ams0009.html  

28. Logicandlanguage.net: Tea With Lloyd And Su BCI is the implicational fragment of Linear Logic. instead of W gets us BCK (I follows from K and C.) BCK (under that name, at least) was first studied http://www.logicandlanguage.net/archives/2005/07/tea_with_lloyd_1.html  

29. Mathematics Subject Classification Index 03 MATHEMATICAL LOGIC and FOUNDATIONS. 03B30 Foundations of classical 06 ORDER, LATTICES, ORDERED ALGEBRAIC STRUCTURES. 06F35 BCKalgebras, BCIalgebras http://web.math.hr/glasnik/classindex.html  

30. Publications Primitive recursive reducibility, in Selected Papers on BCK, BCIalgebras and Computer Logic Shen Baiying ed., pp173178, Shanghai Jiaotong University Press http://wwwsst.informatik.tucottbus.de/~wwwti/zheng/publication.html  

31. People Whose Names Are Embedded In Math Subject Classifcation The rules are modus ponens and substitution, and the axioms are for BCK B (q r)  ((p BCI has, in place of K, I p  p. A N Prior, Formal Logic, http://www.math.niu.edu/~rusin/knownmath/98/MSC.names  

32. Research A temporal logic approach to program verification. In Selected Papers on BCK, BCIAlgebras and Computer Logic, Shen Baiying (Ed.), page 218, http://www.cs.fiu.edu/~yhq/research.htm  

33. Pure Maths Seminars  School Of Mathematics & Applied Statistics @ UOW The talk will briefly discuss a number of such logics (intuitionistic logic,paraconsistent logics, relevant logics, BCK, BCI, BCIW logics, modal logics, http://www.uow.edu.au/informatics/maths/research/seminar/UOW027158.html  

34. SCMJ Vol.10 Contents Translate this page 1015 Jun Y. B. Expansions of subalgebras and ideals in $BCK/BCI$algebras Abstract /Full. 1014 Perkgoz C., Kato K., Katagiri H., http://www.jams.or.jp/notice/scmjol/10.html  

35. Home Page Of R. A. Borzooei Hyper BCKalgebras and Hyper Kalgebras  BCK and BCIalgebras . on i.p.s. Hypergroup, MultipleValued Logic and Soft Computing Journal, to appear. http://www.usb.ac.ir/ijfs/borzooei.htm  

36. Hindley. Basic Simple Type Theory. BCKlogic (no multiple discharging allowed) corresponds to closed BCKlambdaterms. BCIlogic (no multiple or vacuous discharging allowed) corresponds to http://mathgate.info/cebrown/notes/hindley97.php  

37. Ã¥Â
Â³Ã¤ÂºÂBCIÃ©ÂÂ»Ã¨Â¾ÂÃ§ÂÂÃ¤Â¸ÂÃ§Â§ÂÃ¥ÂÂÃ¥ÂºÂÃ¤Â»Â£Ã¦ÂÂ° A Partiall Translate this page This wellknown assertion, however, are problematical in that BCIlogic is not BCI BCK ( ) Pasting a BCIAlgebra to a BCKAlgebra( ) http://scholar.ilib.cn/Amhxtysx200703011.html  

38. CAT.INIST Translate this page (iii) Whether there is a finite axiomatic system for the fuzzy BCK logic? (iv) Whether the logic obtained by adding the axioms Fm,n to the BCI logic is http://cat.inist.fr/?aModele=afficheN&cpsidt=17869577 
39. A Sub L III, Preliminary Programme 15.55 16.25, Josep Maria Font, Substructural logics preserving degrees of truth 10.40  11.00, Tomasz Kowalski, SelfImplications in BCI http://www.iphils.uj.edu.pl/conf/log/programme.html  

40. BAA British Airports Authority BAA British Astronomical BCI Business Component Integrator BCJ Blackberry Creek Journal BCK Line BFL Buffered Fieldeffecttransistor Logic BFM Business Flow Manager BFN Bye http://www.xs4all.nl/~jtv/gtf/by_letter/B 
41. Kurt GÃ¶del Research Center For Mathematical Logic At The University Of Vienna, Translate this page Proseminar zu Mathematische Logik I (Seminar for Mathematical Logic I), . substrukturale (relevante, BCK, BCI, LambekKalkÃ¼l, lineare), Quanten, http://www.logic.univie.ac.at/previouslectures.html  

42. Ã¦ÂÂ±Ã¤ÂºÂ¬Ã©ÂÂ»Ã¦Â©ÂÃ¥Â¤Â§Ã¥ÂÂ¦ Ã¦ÂÂÃ¥ÂÂ¡Ã¦ÂÂ
Ã¥Â Â± Translate this page , On a logic determined by Boolean algebras with conjugate 2006/10 , On transfer principle of Fuzzy BCK/BCIalgebras 2004/05 http://radata.dendai.ac.jp/tduhp/KgApp?kyoinId=ymkiyggyggy 
43. Teaching Faculty GCU Lahore Algebra, Ring Theory, BCKalgebra, BCIalgebra, C*algebra, Topology Functional Analysis .. 3 Logic. 4 Philosophy of Science. Mr. Kaiser Mehmood http://www.gclahore.edu.pk/facedu.htm  

44. Dr. Moharram Ali Khan, Centre For Interdisciplinary Research In Basic Sciences Differential Equations; Logic Set Theory; Linear AlgebraI, II. Abstract Algebra I II; (i) On the ideal theory of BCK (BCI) ÂAlgebra (1995). http://jmi.nic.in/cirbs/mali.cirbs.htm  

45. BCK Page C. A. Meredith introduced the Cpure substitution/detachment system BCK in 1956 of the propositional calculus, Notre Dame Journal of Formal Logic, vol. http://web.ics.purdue.edu/~dulrich/BCKpage.htm  

46. DBLP: Yang Xu Yong Lin Liu, Yang Xu, Jie Meng BCIimplicative ideals of BCIalgebras. . Yang Xu Uncertainty reasoning based on latticevalued firstorder logic http://www.sigmod.org/dblp/db/indices/atree/x/Xu:Yang.html  

Page 1 154 of 54 1 