ࡱ> Z]  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXY\^Root Entry F I[WorkbookETExtDataSummaryInformation(  \php Ba==xyyhQeg R^ 1931-1938 1919-1995199700-Erkenntnis (1975-) 1975-2006'Journal of unified science (Erkenntnis) 0165-0110 1939-1940+The Journal of Unified Science (Erkenntnis) 1876-2530Fundamenta Informaticae 0169-2968NSTL--V[ybVfNe.s-N_-pNv5uP[Dn 1999--Fundamenta MathematicaeFuzzy Sets and Systems 0165-0114History and Philosophy of Logic 0144-5340vQ[8International Journal of Foundations of Computer Science 0129-0541-Business Source Premier--FUNDn5uP[e.spenc^(EBSCO) 9International Journal of Mathematics and Computer Science2International Studies in the Philosophy of Science 0269-85951998--Information and Computation 0890-5401Israel Journal of Mathematics 0021-21721963-Journal of Applied Logic 1570-86832003--'Journal of Applied Non-Classical LogicsJournal of Automated Reasoning 0168-74331985-!Journal of Formalized Mathematics ghQe Journal of Logic and Computation 0955-792X+Oxford University Press(OUP)--[r%m'Yf[QHr>y5uP[g R 1996-2010*Journal of Logic, Language and Information 0925-85311992-199701-Journal of Mathematical Logic 0219-06132001--3Journal of Multiple-Valued Logic and Soft ComputingJournal of Philosophical Logic 0022-3611 1972-19951972-Journal of Symbolic LogicThe Journal of Symbolic Logic 0022-4812 1936-2005Journal of Semantics 0167-5133Linguistics and Philosophy 0165-0157 1977-20061977-Logic Journal of the IGPL 1367-0751 2004-2009Logica Universalis 1661-82972007-Mathematical Logic Quarterly!MLQ: Mathematical Logic Quarterly 0942-5616John Wiley--5uP[g Rpenc^ Mind 0026-4423 1876-2002*Literature Resource Center--ef[Dn-N_(Gale) 1993-1998 1997-2007Mind & Language 0268-1064Minds and Machines 0924-64951991-%Nordic Journal of Philosophical Logic 0806-6205 1998-2001"Notre Dame Journal of Formal LogicNosNous 0029-4624Philosophia Mathematica 0031-8019 2005-2009Philosophical Psychology 0951-50891990-- 1997-2000Philosophical ReviewThe Philosophical Review 0031-8108 1892-2006(Philosophy and Phenomenological Research 0031-82052001- 1940-20047Ratio An International Journal of Analytic Philosophy 6Ratio An International Journal of Analytic PhilosophyReview of Symbolic Logic 1755-0203-Cambridge Journals Online(CUP)--QReh'Yf[QHr>y5uP[g R 2008-Theoretical Computer Science 0304-3975Smarandache Notions Journal Studia Logica 0039-32151953-:Studia Logica: An International Journal for Symbolic Logic 1953-2006Synthese 0039-7857 1936-20061936-!The Australasian Journal of LogicZentralblatt MATHeEQ;f[xvz 1674-3202-Neybg Rpenc^~nfhQe5uP[g R -NVg RQg RhQepenc^ 2008-NepencDn|~vhQepeW[Sg R SN'Yf[VfNOo`T uޘ SN'Yf[Tf[| sf_vf tet    e%7kCUOP  dMbP?_*+%&[[?'[[?(?)?" d333333?333333?U} } 2} 4} ` } }  e%      & " # " $ "~ '? -     '-     ~ '@     ~ '@     ~ '@ -     '-    ~ '@     ~ '@ -     '-     ~ ' @ -! ! "  # '- ! " $ % '- ! "  &~ '$@ ' ( ) * +~ ,&@ , ,  - ~ ,(@ . .  - ~ '*@ -/ / 0 * 1 '- / 2  3 '- / 2 $ 4 '- / 5 6 7 '- / 2 6 8 '- / 2  9 '- : 2 * ; '- < = 6 > '- ? @ * >~ '.@ -A A B C  '- A B  D~ ,0@ E .E  - ~ '1@ F F G  ~ '2@ H H I J ~ '3@ -K K L M D '- K L  DD lTTFTTTFTTFTFFTFFTFFFFFFFFTFFTTT !"#$%&'()*+,-./0123456789:;<=>?~ ,4@ N N  - ~ !'5@ !O !O !P ! !Q~ "'6@ "R "R "S " "~ #'7@ #T #T #U # #V~ $'8@ $W $W $X $ $Y~ %,9@ %Z %/Z % - %~ &':@ &-[ &[ &\ & &] ''- '[ '\ ' '&~ (,;@ (^ (^ (!_ (~ )'<@ )` )` )a )b )c~ *'=@ *-d *d *e * *f +'- +d +e + +g~ ,'>@ ,h ,h ,i , ,j~ -,?@ -k -k - - -~ .'@@ .-l .l .m .$ .4 /'- /l /m / /Y 0'- 0l 0m 06 0n 1'- 1l 1m 1 1o 2'- 2l 2m 2 2&~ 3'@@ 3p 3q 3r 3* 3s~ 4'A@ 4t 4t 4u 4b 4c~ 5'A@ 5-v 5v 5w 5* 5x 6'- 6v 6w 6 6y 7'- 7v 7w 7 7&~ 8'B@ 8-z 8z 8{ 8b 8c 9'- 9z 9{ 9$ 9|~ :'C@ :} :} :~ : :~ ;'D@ ; ; ; ; ; ~ <'D@ <- < < <* < ='- = = =b =c >'- > > > > ?'- ? ? ?$ ?D lFTTTTFTFFTTFTFTFFFFTTTFFTFTTTFF@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\*]^_~ @'E@ @ @ @ @ @~ A'E@ A- A A A A B'- B B B B9~ C'F@ C C C C C~ D,G@ D D D - D~ E'G@ E- E E E E4 F'- F F F F~ G'H@ G- G G Gb Gc H'- H H H$ H~ I'H@ I- I I I I J'- J J J$ J K'- K K KJ K~ L'I@ L L L L* L~ M'I@ M- M M M M N'- N N N* N~ O,J@ O O O!_ O~ P'K@ P P0 P P P~ Q'L@ Q Q Q Q Q~ R,L@ R R R!_ R~ S'M@ S- S S S S T'- T T T T9 U'- U U U* U~ V'M@ V- V V V* V W'- W W W$ W4 X'- X X X X Y'- Y Y Y Y9~ Z,N@ Z Z Z!_ Z~ [,N@ [ [ [!_ [\())))) ]+]~ ^'O@ ^- ^ ^ ^ ^ _'- _ _ _ _D lTTFTFTFTFTFFTTFFTTFTFFTFFFFF"T`ab@c@d@ `'- ` ` ` `a b c dPF>X@dbbb Z+aa &'*+.25789<?ABEFGHIKMNSUVY^`  &'*+.25789<?ABEFGHIKMNSUVY^`yK /ACM Transactions on Computational Logic (TOCL)yK http://portal.acm.org/browse_dl.cfm?linked=1&part=transaction&idx=J773&coll=ACM&dl=ACM&CFID=39889620&CFTOKEN=78816381yK /ACM Transactions on Computational Logic (TOCL)yK http://acm.lib.tsinghua.edu.cn/acm/Archive.nsp?view=ACM_SOURCES&cid_PCODE=&cid_DOCTYPE=&cid_HASABSTRACT=&cid_HASFULLTEXT=&query0=J773&field0=SOURCES&operator0=AND&query1=&field1=&operator1=AND&sortfield=RECKEY&sortorder=DESCENDING&var_AUTHCODE=&var_PUBCODE=&var_BROWSECODE=J773%3AACM+Transactions+on+Computational+Logic+%28TOCL%29&var_SOURCECODE=J773&docindex=&var_SECTION=&numresults=25&fromrecord=yK Algebra and LogicyK vhttp://kluwer.calis.edu.cn/periodicalvolue.asp?id=00025232yK algebra universalisyK http://www.springerlink.com/openurl.asp?genre=journal&issn=0002-5240&yK 2Annals of Mathematics and Artificial IntelligenceyK http://www.springerlink.com/openurl.asp?genre=journal&issn=1012-2443yK 2Annals of Mathematics and Artificial IntelligenceyK vhttp://kluwer.calis.edu.cn/periodicalvolue.asp?id=10122443yK !Annals of Pure and Applied LogicyK lhttp://www.sciencedirect.com/science/journal/01680072yK Archive for Mathematical LogicyK http://www.springerlink.com/openurl.asp?genre=journal&issn=0933-5846 yK Archive for Mathematical LogicyK http://search.ebscohost.com/direct.asp?db=a3h&jid=%22EIZ%22&scope=site yK ArgumentationyK http://www.springerlink.com/openurl.asp?genre=journal&issn=0920-427X yK ArgumentationyK fhttp://proquest.umi.com/pqdweb?RQT=318&pmid=108392 yK ArgumentationyK vhttp://kluwer.calis.edu.cn/periodicalvolue.asp?id=0920427X yK The Bulletin of Symbolic LogicyK http://www.jstor.org/action/showPublication?journalCode=bullsymblogiyK  ErkenntnisyK http://www.jstor.org/action/showPublication?journalCode=erkenntnisyK  ErkenntnisyK http://www.springerlink.com/openurl.asp?genre=journal&issn=0165-0106yK  ErkenntnisyK dhttp://proquest.umi.com/pqdweb?RQT=318&pmid=69732yK  ErkenntnisyK http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&res_dat=xri:pao&rft_dat=xri:pao:journal:n420yK  ErkenntnisyK http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&res_dat=xri:pao&rft_dat=xri:pao:journal:n420yK  ErkenntnisyK vhttp://kluwer.calis.edu.cn/periodicalvolue.asp?id=01650106yK Erkenntnis (1975-)yK http://www.jstor.org/action/showPublication?journalCode=erkenntnis2RyK (Journal of unified science (Erkenntnis)yK http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&res_dat=xri:pao&rft_dat=xri:pao:journal:n420yK ,The Journal of Unified Science (Erkenntnis)yK http://www.jstor.org/action/showPublication?journalCode=junifscieerkeyK Fundamenta InformaticaeyK Zhttp://iospress.metapress.com/content/300178yK Fundamenta InformaticaeyK http://search.ebscohost.com/direct.asp?db=a3h&jid=%22FLB%22&scope=siteyK Fuzzy Sets and SystemsyK lhttp://www.sciencedirect.com/science/journal/01650114yK  History and Philosophy of LogicyK http://www.informaworld.com/openurl?genre=journal&issn=0144-53408yK 9International Journal of Foundations of Computer ScienceyK http://search.ebscohost.com/direct.asp?db=buh&jid=%228JR%22&scope=site8yK 9International Journal of Foundations of Computer ScienceyK http://search.ebscohost.com/direct.asp?db=a3h&jid=%228JR%22&scope=site,!!yK 3International Studies in the Philosophy of ScienceyK http://search.ebscohost.com/direct.asp?db=a3h&jid=%223U3%22&scope=site""yK Information and ComputationyK lhttp://www.sciencedirect.com/science/journal/08905401##yK Israel Journal of MathematicsyK http://www.springerlink.com/openurl.asp?genre=journal&issn=0021-2172$$yK Journal of Applied LogicyK lhttp://www.sciencedirect.com/science/journal/15708683&&yK Journal of Automated ReasoningyK http://www.springerlink.com/openurl.asp?genre=journal&issn=0168-7433''yK Journal of Automated ReasoningyK vhttp://kluwer.calis.edu.cn/periodicalvolue.asp?id=01687433))yK !Journal of Logic and ComputationyK Lhttp://www.logcom.oxfordjournals.org/**yK +Journal of Logic, Language and InformationyK http://www.springerlink.com/openurl.asp?genre=journal&issn=0925-8531++yK +Journal of Logic, Language and InformationyK vhttp://kluwer.calis.edu.cn/periodicalvolue.asp?id=09258531,,yK Journal of Mathematical LogicyK http://search.ebscohost.com/direct.asp?db=a3h&jid=%228KM%22&scope=site..yK Journal of Philosophical LogicyK dhttp://proquest.umi.com/pqdweb?RQT=318&pmid=69734//yK Journal of Philosophical LogicyK http://search.ebscohost.com/direct.asp?db=a3h&jid=%22JPH%22&scope=site@00yK Journal of Philosophical LogicyK http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&res_dat=xri:pao&rft_dat=xri:pao:journal:f60911yK Journal of Philosophical LogicyK http://www.springerlink.com/openurl.asp?genre=journal&issn=0022-361122yK Journal of Philosophical LogicyK vhttp://kluwer.calis.edu.cn/periodicalvolue.asp?id=0022361133yK The Journal of Symbolic LogicyK http://www.jstor.org/action/showPublication?journalCode=jsymboliclogic44yK Journal of SemanticsyK Fhttp://www.jos.oxfordjournals.org/55yK Linguistics and PhilosophyyK http://www.jstor.org/action/showPublication?journalCode=lingphil66yK Linguistics and PhilosophyyK http://www.springerlink.com/openurl.asp?genre=journal&issn=0165-015777yK Linguistics and PhilosophyyK vhttp://kluwer.calis.edu.cn/periodicalvolue.asp?id=0165015788yK Logic Journal of the IGPLyK Lhttp://www.jigpal.oxfordjournals.org/99yK Logic Journal of the IGPLyK dhttp://proquest.umi.com/pqdweb?RQT=318&pmid=53436::yK Logica UniversalisyK http://www.springerlink.com/openurl.asp?genre=journal&issn=1661-8297;;yK "MLQ: Mathematical Logic QuarterlyyK ~http://onlinelibrary.wiley.com/journal/10.1002/(ISSN)1521-3870<<yK MindyK zhttp://www.jstor.org/action/showPublication?journalCode=mind==yK MindyK Hhttp://www.mind.oxfordjournals.org/>>yK MindyK http://galenet.galegroup.com/servlet/IOURL?prod=LitRC&issn=0026-4423&locID=peking??yK MindyK dhttp://proquest.umi.com/pqdweb?RQT=318&pmid=28750@@yK Mind & LanguageyK ~http://onlinelibrary.wiley.com/journal/10.1111/(ISSN)1468-0017AAyK Minds and MachinesyK http://www.springerlink.com/openurl.asp?genre=journal&issn=0924-6495BByK Minds and MachinesyK vhttp://kluwer.calis.edu.cn/periodicalvolue.asp?id=09246495CCyK &Nordic Journal of Philosophical LogicyK http://search.ebscohost.com/direct.asp?db=a3h&jid=%229DZ%22&scope=siteEEyK NousyK http://search.ebscohost.com/direct.asp?db=a3h&jid=%22D97%22&scope=siteFFyK NousyK ~http://onlinelibrary.wiley.com/journal/10.1111/(ISSN)1468-0068GGyK Philosophia MathematicayK Nhttp://www.philmat.oxfordjournals.org/HHyK Philosophia MathematicayK dhttp://proquest.umi.com/pqdweb?RQT=318&pmid=55092IIyK Philosophical PsychologyyK http://search.ebscohost.com/direct.asp?db=a3h&jid=%22PPP%22&scope=siteJJyK Philosophical PsychologyyK dhttp://proquest.umi.com/pqdweb?RQT=318&pmid=34497KKyK Philosophical PsychologyyK http://www.informaworld.com/openurl?genre=journal&issn=0951-5089LLyK The Philosophical ReviewyK http://www.jstor.org/action/showPublication?journalCode=philreviMMyK )Philosophy and Phenomenological ResearchyK ~http://onlinelibrary.wiley.com/journal/10.1111/(ISSN)1933-1592NNyK )Philosophy and Phenomenological ResearchyK http://www.jstor.org/action/showPublication?journalCode=philphenresePPyK Review of Symbolic LogicyK Lhttp://journals.cambridge.org/jid_RSLQQyK Theoretical Computer ScienceyK lhttp://www.sciencedirect.com/science/journal/03043975SSyK Studia LogicayK http://www.springerlink.com/openurl.asp?genre=journal&issn=0039-3215TTyK Studia LogicayK vhttp://kluwer.calis.edu.cn/periodicalvolue.asp?id=003932150UUyK ;Studia Logica: An International Journal for Symbolic LogicyK http://www.jstor.org/action/showPublication?journalCode=studlogiVVyK  SyntheseyK http://www.jstor.org/action/showPublication?journalCode=syntheseWWyK  SyntheseyK dhttp://proquest.umi.com/pqdweb?RQT=318&pmid=69738XXyK  SyntheseyK http://www.springerlink.com/openurl.asp?genre=journal&issn=0039-7857YYyK  SyntheseyK vhttp://kluwer.calis.edu.cn/periodicalvolue.asp?id=00397857^^yK ;f[xvzyK @http://162.105.138.192/cstj/sear.dll?SearchURL?sid=&genre=&issn=1674-3202&year=&volume=&issue=&spage=&atitle=&pid=%E9%80%BB%E8%BE%91%E5%AD%A6%E7%A0%94%E7%A9%B6@__yK ;f[xvzyK http://dlib2.edu.cnki.net/kns50/Navi/Bridge.aspx?LinkType=BaseLink&DBCode=cjfd&TableName=cjfdbaseinfo&Field=BaseID&Value=LJXJ``yK ;f[xvzyK nhttp://wanfang.calis.edu.cn/C/periodical-zsdxxblc.aspx[[yK Zentralblatt MATHyK 4http://www.emis.de/ZMATH/ZZyK "The Australasian Journal of LogicyK Thttp://www.philosophy.unimelb.edu.au/ajl/RRyK Smarandache Notions JournalyK Phttp://www.gallup.unm.edu/~smarandache/ OOyK 7Ratio An International Journal of Analytic PhilosophyyK dhttp://www.wiley.com/bw/journal.asp?ref=0034-0006DDyK #Notre Dame Journal of Formal LogicyK 4http://www.nd.edu/~ndjfl/--yK 4Journal of Multiple-Valued Logic and Soft ComputingyK dhttp://www.oldcitypublishing.com/MVLSC/MVLSC.html((yK "Journal of Formalized MathematicsyK 4http://www.mizar.org/JFM/%%yK (Journal of Applied Non-Classical LogicsyK Vhttp://www.irit.fr/ACTIVITES/EQ_ALG/Jancl/ yK :International Journal of Mathematics and Computer ScienceyK Phttp://ijmcs.futureintech.net/index.htmyK Fundamenta MathematicaeyK Bhttp://journals.impan.gov.pl/fm/yK Dissertationes MathematicaeyK Bhttp://journals.impan.gov.pl/dm/yK !Bulletin of the Section of LogicyK Rhttp://www.filozof.uni.lodz.pl/bulletin/bbA   %  dMbP?_*+%&[[?'[[?(?)?" d333333?333333?U>@d bbA   %  dMbP?_*+%&[[?'[[?(?)?" d333333?333333?U>@d bbA   71P ? ??? ?  ? ?        ?      ?  ?? A.  A.  A. Oh+'0    ( 4@HPX@ 5O@&@Zm@ 5OWPS Office *NNHr՜.+,D՜.+,DocumentSummaryInformation8\   (\dlKSOProductBuildVer2052-6.6.0.2699