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), 231-250. http://projecteuclid.org/handle/euclid.ndjfl/1093634655
List KWIC DDC22 510 And MSC+ZDM E-N 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/msc-cdd/dml2_11_33.htm
JSTOR The Number Of Proofs For A BCK-Formula 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=0022-4812(199306)58:2<626:TNOPFA>2.0.CO;2-H
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/alg-log.htm
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://www-maths.swan.ac.uk/staff/jrh/JRHresearch.html
Notre Dame Journal Of Formal Logic, Volume 34 223230 BibTeX J. Roger Hindley BCK and BCI logics, Condensed Detachment and the 2-Property. 231-250 BibTeX M. Gordon Beavers Extensions of the http://www.informatik.uni-trier.de/~ley/db/journals/ndjfl/ndjfl34.html
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 34231250. Humberstone Lloyd. http://jigpal.oxfordjournals.org/cgi/content/full/jzm005v1
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
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
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
MSC 2000 : CC = Ore 0399 Mathematical logic and foundations (not classified at a more specific linear logic, Lambek calculus, BCK and BCI logics) For proof-theoretic http://portail.mathdoc.fr/cgi-bin/msc2000.py?L=fr&T=Q&C=msc2000&CC=Ore
Bibliography On Linear Logic BCKcombinators and linear lambda-terms have types. Theoretical Computer Science, 6497-105, 1989. J. R. Hindley. BCK- and BCI-logics, condensed detachment http://www.cs.cmu.edu/~carsten/linearbib/llb.html
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), 231250 http://en.wikipedia.org/wiki/Condensed_Detachment
363/369 (Total 5522) NO 92 03B50 Many-valued Logic Translate this page 90, 03B47, Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) {For proof-theoretic aspects see 03F52} http://www.mathnet.or.kr/mathnet/msc_list.php?mode=list&ftype=&fstr=&page=363
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
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 aleph0-Valued Lukasiewicz http://wotan.liu.edu/docis/dbl/ndjofl/index.html
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/cgi-bin/ssgfi/navigator2.pl/db=math/type=gok/pattern=all
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
Logic And Computer Vol.4 Logic.ru Extensions of logic BCK commutative BCK and an implicational fragment Lw® of logic Lw. BCI and BCK-algebras. Algebraic versions of logic Lw®. http://logic.ru/en/node/48
Sachgebiete Der AMS-Klassifikation: 00-09 topics 03XX Mathematical logic and foundations 03-00 General reference . See also {06B30, 22A26, 54F05, 54H12} 06F35 BCK-algebras, BCI-algebras, http://www.math.fu-berlin.de/litrech/Class/ams-00-09.html
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
Mathematics Subject Classification Index 03 MATHEMATICAL LOGIC and FOUNDATIONS. 03B30 Foundations of classical 06 ORDER, LATTICES, ORDERED ALGEBRAIC STRUCTURES. 06F35 BCKalgebras, BCI-algebras http://web.math.hr/glasnik/classindex.html
Publications Primitive recursive reducibility, in Selected Papers on BCK, BCIalgebras and Computer Logic Shen Baiying ed., pp173-178, Shanghai Jiaotong University Press http://www-sst.informatik.tu-cottbus.de/~wwwti/zheng/publication.html
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/known-math/98/MSC.names
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
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
SCMJ Vol.10 Contents Translate this page 10-15 Jun Y. B. Expansions of subalgebras and ideals in $BCK/BCI$-algebras Abstract /Full. 10-14 Perkgoz C., Kato K., Katagiri H., http://www.jams.or.jp/notice/scmjol/10.html
Home Page Of R. A. Borzooei Hyper BCKalgebras and Hyper K-algebras - BCK and BCI-algebras . on i.p.s. Hypergroup, Multiple-Valued Logic and Soft Computing Journal, to appear. http://www.usb.ac.ir/ijfs/borzooei.htm
Hindley. Basic Simple Type Theory. BCKlogic (no multiple discharging allowed) corresponds to closed BCK-lambda-terms. BCI-logic (no multiple or vacuous discharging allowed) corresponds to http://mathgate.info/cebrown/notes/hindley97.php
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
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, Self-Implications in BCI http://www.iphils.uj.edu.pl/conf/log/programme.html
BAA British Airports Authority BAA British Astronomical BCI Business Component Integrator BCJ Blackberry Creek Journal BCK Line BFL Buffered Fieldeffect-transistor Logic BFM Business Flow Manager BFN Bye http://www.xs4all.nl/~jtv/gtf/by_letter/B
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/BCK-page.htm
DBLP: Yang Xu Yong Lin Liu, Yang Xu, Jie Meng BCIimplicative ideals of BCI-algebras. . Yang Xu Uncertainty reasoning based on lattice-valued first-order logic http://www.sigmod.org/dblp/db/indices/a-tree/x/Xu:Yang.html
