This is pdfeTeX, Version 3.141592-1.21a-2.2 (Web2C 7.5.4) (format=pdflatex 2009.4.25) 20 AUG 2015 11:53 entering extended mode **allpdflatex (./allpdflatex.tex LaTeX2e <2003/12/01> Babel and hyphenation patterns for american, french, german, ngerman, b ahasa, basque, bulgarian, catalan, croatian, czech, danish, dutch, esperanto, e stonian, finnish, greek, icelandic, irish, italian, latin, magyar, norsk, polis h, portuges, romanian, russian, serbian, slovak, slovene, spanish, swedish, tur kish, ukrainian, nohyphenation, loaded. (/Users/cp/svn/hilbertbernays/trunk/article.cls Document Class: article 1999/01/07 v1.4a Standard LaTeX document class (/Users/cp/Library/TeX/texmf/tex/latex/latexlib/size10.clo File: size10.clo 2000/05/19 v1.4b Standard LaTeX file (size option) ) \c@part=\count79 \c@section=\count80 \c@subsection=\count81 \c@subsubsection=\count82 \c@paragraph=\count83 \c@subparagraph=\count84 \c@figure=\count85 \c@table=\count86 \abovecaptionskip=\skip41 \belowcaptionskip=\skip42 \bibindent=\dimen102 ) (./aaai.sty Conference Style for AAAI for LaTeX 2e -- version of 1 December 2013 \titlebox=\skip43 ) (/Users/cp/Library/TeX/texmf/tex/latex/latexlib/times.sty Package: times 2000/01/12 PSNFSS-v8.1 Times font as default roman (SPQR) ) (/sw/share/texmf-dist/tex/latex/psnfss/helvet.sty Package: helvet 2004/09/15 PSNFSS-v9.2 (WaS) (/Users/cp/svn/hilbertbernays/trunk/keyval.sty Package: keyval 1999/03/16 v1.13 key=value parser (DPC) \KV@toks@=\toks14 )) (/sw/share/texmf-dist/tex/latex/psnfss/courier.sty Package: courier 2004/09/15 PSNFSS-v9.2 (WaS) ) \disp=\skip44 \textwidthminustwomm=\skip45 \textwidthminushalfcm=\skip46 \textwidthminusonecm=\skip47 \textwidthminustwocm=\skip48 \textwidthminusfourcm=\skip49 \textwidthminussixcm=\skip50 \yinibox=\box26 (/Users/cp/svn/hilbertbernays/trunk/amssymb.sty Package: amssymb 2002/01/22 v2.2d (/Users/cp/svn/hilbertbernays/trunk/amsfonts.sty Package: amsfonts 2001/10/25 v2.2f \@emptytoks=\toks15 \symAMSa=\mathgroup4 \symAMSb=\mathgroup5 LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold' (Font) U/euf/m/n --> U/euf/b/n on input line 132. )) (/Users/cp/svn/hilbertbernays/trunk/url.sty \Urlmuskip=\muskip10 Package: url 2005/06/27 ver 3.2 Verb mode for urls, etc. ) (/Users/cp/Library/TeX/texmf/tex/latex/latexlib/rotating.sty Package: rotating 1997/09/26 v2.13 Rotation package (/Users/cp/svn/hilbertbernays/trunk/graphicx.sty Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR) (/Users/cp/svn/hilbertbernays/trunk/graphics.sty Package: graphics 2001/07/07 v1.0n Standard LaTeX Graphics (DPC,SPQR) (/Users/cp/svn/hilbertbernays/trunk/trig.sty Package: trig 1999/03/16 v1.09 sin cos tan (DPC) ) (/Users/cp/svn/hilbertbernays/trunk/graphics.cfg File: graphics.cfg 2005/02/03 v1.3 graphics configuration of teTeX/TeXLive ) Package graphics Info: Driver file: pdftex.def on input line 80. (/sw/share/texmf-dist/tex/latex/graphics/pdftex.def File: pdftex.def 2002/06/19 v0.03k graphics/color for pdftex \Gread@gobject=\count87 )) \Gin@req@height=\dimen103 \Gin@req@width=\dimen104 ) (/Users/cp/Library/TeX/texmf/tex/latex/latexlib/ifthen.sty Package: ifthen 2001/05/26 v1.1c Standard LaTeX ifthen package (DPC) ) \c@r@tfl@t=\count88 \rot@float@box=\box27 ) \c@theorem=\count89 (./allpdflatex.aux) \openout1 = `allpdflatex.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 6165. LaTeX Font Info: ... okay on input line 6165. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 6165. LaTeX Font Info: ... okay on input line 6165. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 6165. LaTeX Font Info: ... okay on input line 6165. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 6165. LaTeX Font Info: ... okay on input line 6165. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 6165. LaTeX Font Info: ... okay on input line 6165. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 6165. LaTeX Font Info: ... okay on input line 6165. LaTeX Font Info: Try loading font information for OT1+ptm on input line 6165 . (/sw/share/texmf-dist/tex/latex/psnfss/ot1ptm.fd File: ot1ptm.fd 2001/06/04 font definitions for OT1/ptm. ) (/sw/share/texmf-dist/tex/context/base/supp-pdf.tex (/sw/share/texmf-dist/tex/context/base/supp-mis.tex loading : Context Support Macros / Miscellaneous (2004.10.26) \protectiondepth=\count90 \scratchcounter=\count91 \scratchtoks=\toks16 \scratchdimen=\dimen105 \scratchskip=\skip51 \scratchmuskip=\muskip11 \scratchbox=\box28 \scratchread=\read1 \scratchwrite=\write3 \zeropoint=\dimen106 \onepoint=\dimen107 \onebasepoint=\dimen108 \minusone=\count92 \thousandpoint=\dimen109 \onerealpoint=\dimen110 \emptytoks=\toks17 \nextbox=\box29 \nextdepth=\dimen111 \everyline=\toks18 \!!counta=\count93 \!!countb=\count94 \recursecounter=\count95 ) loading : Context Support Macros / PDF (2004.03.26) \nofMPsegments=\count96 \nofMParguments=\count97 \MPscratchCnt=\count98 \MPscratchDim=\dimen112 \MPnumerator=\count99 \everyMPtoPDFconversion=\toks19 ) LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <14.4> not available (Font) Font shape `OT1/ptm/b/n' tried instead on input line 6166. LaTeX Font Info: Try loading font information for U+msa on input line 6166. (/Users/cp/svn/hilbertbernays/trunk/umsa.fd File: umsa.fd 2002/01/19 v2.2g AMS font definitions ) LaTeX Font Info: Try loading font information for U+msb on input line 6166. (/Users/cp/svn/hilbertbernays/trunk/umsb.fd File: umsb.fd 2002/01/19 v2.2g AMS font definitions ) LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <12> not available (Font) Font shape `OT1/ptm/b/n' tried instead on input line 6166. LaTeX Font Info: Try loading font information for OT1+pcr on input line 6166 . (/sw/share/texmf-dist/tex/latex/psnfss/ot1pcr.fd File: ot1pcr.fd 2001/06/04 font definitions for OT1/pcr. ) LaTeX Font Info: Try loading font information for OMS+ptm on input line 6166 . (/sw/share/texmf-dist/tex/latex/psnfss/omsptm.fd File: omsptm.fd ) LaTeX Font Info: Font shape `OMS/ptm/m/n' in size <9> not available (Font) Font shape `OMS/cmsy/m/n' tried instead on input line 6166. LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <10> not available (Font) Font shape `OT1/ptm/b/n' tried instead on input line 6167. LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <9> not available (Font) Font shape `OT1/ptm/b/n' tried instead on input line 6190. LaTeX Font Info: Try loading font information for U+euf on input line 6295. (/sw/share/texmf-dist/tex/latex/amsfonts/ueuf.fd File: ueuf.fd 2002/01/19 v2.2g AMS font definitions ) Underfull \vbox (badness 10000) has occurred while \output is active [] [1{/sw/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map} ] Underfull \vbox (badness 10000) has occurred while \output is active [] [2] LaTeX Font Info: Font shape `OMS/ptm/m/n' in size <10> not available (Font) Font shape `OMS/cmsy/m/n' tried instead on input line 6569. Underfull \hbox (badness 1107) in paragraph at lines 6583--6594 \OT1/ptm/m/n/10 pro-ce-dure, there may well have re-mained [] of [] Underfull \hbox (badness 1688) in paragraph at lines 6633--6654 []\OT1/ptm/m/n/10 The first ef-fect is that we im-me-di-ately re-al-ize that [] Underfull \hbox (badness 2393) in paragraph at lines 6633--6654 \OT1/ptm/m/n/10 the ac-ti-va-tion set $\OMS/cmsy/m/n/10 f[]g$\OT1/ptm/m/n/10 ; sim-ply [] $[] []\OMS/cmsy/m/n/10 j [] Underfull \hbox (badness 7203) in paragraph at lines 6633--6654 \OT1/ptm/m/n/10 on $\OMS/cmsy/m/n/10 f[]g$ \OT1/ptm/m/n/10 be-comes ob-vi-ously less [] [] Underfull \hbox (badness 10000) in paragraph at lines 6633--6654 \OT1/ptm/m/n/10 spe-cific than any argu-ment that gets along with [] Underfull \vbox (badness 3281) has occurred while \output is active [] LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <10.95> not available (Font) Font shape `OT1/ptm/b/n' tried instead on input line 6654. Underfull \hbox (badness 1024) in paragraph at lines 6707--6715 \OT1/ptm/m/n/10 which is re-quired to jus-tify the the ap-pro-pri-ate-ness of [] Underfull \hbox (badness 1189) in paragraph at lines 6707--6715 \OT1/ptm/m/n/10 this ef-fect, is not ex-plicitly given by the speci-fi-ca-tion [] Underfull \vbox (badness 1270) has occurred while \output is active [] [3] Underfull \hbox (badness 10000) in paragraph at lines 6777--6813 \OT1/ptm/m/n/10 According to the above dis-cus-sion, there is no [] Underfull \hbox (badness 4429) in paragraph at lines 6777--6813 \OT1/ptm/m/n/10 clear rea-son why we should con-sider the argu-ment [] Underfull \hbox (badness 1817) in paragraph at lines 6777--6813 \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 A[]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([])) $ \OT1/ptm/m/n/10 to be \OT1/ptm/m/it/10 prop-erly \OT1/ptm/m/n/10 less spe-cif ic than the [] Underfull \hbox (badness 6910) in paragraph at lines 6878--6887 \OT1/ptm/m/n/10 would be ex-plicitly given by the speci-fi-ca-tion via [] Underfull \hbox (badness 10000) in paragraph at lines 6922--6930 \OT1/ptm/m/n/10 Withimplicitreferencetospecificationvia $[]$, [] Underfull \hbox (badness 2495) in paragraph at lines 6960--6967 \OT1/ptm/m/n/10 ordering $\U/msa/m/n/10 .[]$ \OT1/ptm/m/n/10 im-me-di-ately pr o-vides us with its equi- [] Underfull \vbox (badness 2012) has occurred while \output is active [] [4] Underfull \hbox (badness 4518) in paragraph at lines 7122--7133 \U/msa/m/n/10 .[]$\OT1/ptm/m/n/10 , $\U/msa/m/n/10 .[]$ \OT1/ptm/m/n/10 of ``b eing more or equiv-a-lently spe-cific [] Underfull \hbox (badness 2073) in paragraph at lines 7122--7133 \OT1/ptm/m/n/10 accord-ing to David Poole '' with im-plicit ref-er-ence to [] Underfull \hbox (badness 1715) in paragraph at lines 7122--7133 \OT1/ptm/m/n/10 our sets of facts and of general and de-fea-si-ble rules [] Underfull \hbox (badness 3492) in paragraph at lines 7172--7186 \OT1/ptm/m/n/10 The relation $\U/msa/m/n/10 .[]$ \OT1/ptm/m/n/10 of the fol-low -ing defi-ni-tion is the [] Underfull \hbox (badness 1028) in paragraph at lines 7172--7186 \OT1/ptm/m/n/10 relation $\OMS/cmsy/m/n/10 ^^W$ \OT1/ptm/m/n/10 of Defi-ni-tion 10 on page94 of ( Stolzen-burg [] Underfull \vbox (badness 5217) has occurred while \output is active [] [5] Underfull \hbox (badness 2142) in paragraph at lines 7332--7341 [][][] \OT1/ptm/m/it/10 If $\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 A[]\OML/cmm/m/it /10 ; L[]\OT1/cmr/m/n/10 )$\OT1/ptm/m/it/10 , $\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/1 0 A[]\OML/cmm/m/it/10 ; L[]\OT1/cmr/m/n/10 )$ \OT1/ptm/m/it/10 are ar-gu-ments [] Underfull \hbox (badness 10000) in paragraph at lines 7353--7391 []$ [] Underfull \hbox (badness 5288) in paragraph at lines 7353--7391 \OT1/ptm/m/n/10 Com-pare the ar-gu-ments $\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 A[] \OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$\OT1/ptm/m/n/10 , $\OT1/cmr/m/n/10 (\OMS /cmsy/m/n/10 A[]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$\OT1/ptm/m/n/10 , and [] Underfull \hbox (badness 3861) in paragraph at lines 7428--7487 \U/euf/m/n/10 T[] \OT1/cmr/m/n/10 = \OMS/cmsy/m/n/10 f[]\OML/cmm/m/it/10 ; []; []\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ;$ $\U/euf/m/n/10 T[] \OT1/cmr/m/n/10 = [] Underfull \hbox (badness 1552) in paragraph at lines 7428--7487 \OT1/ptm/m/n/10 im-pli-ca-tion con-di-tion of Defi-ni-tion5.4[] as com-pared to [] Underfull \hbox (badness 7631) in paragraph at lines 7428--7487 []$ \OT1/ptm/m/n/10 The min- [] Underfull \hbox (badness 2042) in paragraph at lines 7428--7487 \OT1/ptm/m/n/10 i-mal sim-pli-fied ac-ti-va-tion sets for $\OT1/cmr/m/n/10 (\OM S/cmsy/m/n/10 A[]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ \OT1/ptm/m/n/10 that a re [] Underfull \hbox (badness 10000) in paragraph at lines 7428--7487 []$ \OT1/ptm/m/n/10 The only [] Underfull \hbox (badness 5475) in paragraph at lines 7428--7487 \OT1/ptm/m/n/10 and no sim-pli-fied ac-ti-va-tion set for $\OT1/cmr/m/n/10 (\OM S/cmsy/m/n/10 A[]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 )$ \OT1/ptm/m/n/10 is [] Underfull \vbox (badness 3547) has occurred while \output is active [] [6] Underfull \hbox (badness 1132) in paragraph at lines 7595--7604 [][][] \OT1/ptm/m/it/10 If $\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 A[]\OML/cmm/m/it /10 ; L[]\OT1/cmr/m/n/10 )$\OT1/ptm/m/it/10 , $\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/1 0 A[]\OML/cmm/m/it/10 ; L[]\OT1/cmr/m/n/10 )$ \OT1/ptm/m/it/10 are ar-gu-ments [] Underfull \hbox (badness 1221) in paragraph at lines 7639--7645 \OT1/ptm/m/n/10 Obviously, an argu-ment is ranked by $\U/msa/m/n/10 .[]$ \OT1/p tm/m/n/10 firstly on [] Underfull \hbox (badness 2103) in paragraph at lines 7707--7761 \OT1/ptm/m/n/10 Let us com-pare the ar-gu-ments $\OT1/cmr/m/n/10 (\OMS/cmsy/m/n /10 A[]\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 :[]\OT1/cmr/m/n/10 ([]))$ \OT1/ptm/m /n/10 and [] Underfull \hbox (badness 7064) in paragraph at lines 7707--7761 \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 A[]\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([])) $\OT1/ptm/m/n/10 . $\U/euf/m/n/10 T[]$$\OT1/cmr/m/n/10 =$$\OMS/cmsy/m/n/10 f[] \OT1/cmr/m/n/10 ([])\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([])\OML/cmm/m/it/10 ; $ [] Underfull \hbox (badness 10000) in paragraph at lines 7707--7761 []\OT1/cmr/m/n/10 ([])\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ;$ $\U/euf/m/n/10 T[]$ $\OT1/cmr/m/n/10 =$$\OMS/cmsy/m/n/10 f:[]\OT1/cmr/m/n/10 ([])\OML/cmm/m/it/10 ; []\OT1/cmr/m/n/10 ([])\OML/cmm/m/it/10 ;$ [] Underfull \hbox (badness 2573) in paragraph at lines 7707--7761 \OT1/ptm/m/n/10 because $[]\OT1/cmr/m/n/10 ([])[]\U/euf/m/n/10 T[]$ \OT1/ptm/m/ n/10 and, if $\OML/cmm/m/it/10 H \OMS/cmsy/m/n/10 ^^R \U/euf/m/n/10 T[]$ [] Underfull \hbox (badness 5533) in paragraph at lines 7707--7761 \OT1/ptm/m/n/10 is a sim-pli-fied ac-ti-va-tion set for $\OT1/cmr/m/n/10 (\OMS/ cmsy/m/n/10 A[]\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 :[]\OT1/cmr/m/n/10 ([]))$\OT 1/ptm/m/n/10 , [] Underfull \hbox (badness 10000) in paragraph at lines 7707--7761 \OT1/ptm/m/n/10 but not for $\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 ;\OML/cmm/m/it/1 0 ; \OMS/cmsy/m/n/10 :[]\OT1/cmr/m/n/10 ([]))$\OT1/ptm/m/n/10 , then we have [] Underfull \hbox (badness 3989) in paragraph at lines 7707--7761 []\OT1/cmr/m/n/10 ([])[]\OML/cmm/m/it/10 H;$ \OT1/ptm/m/n/10 and thus $\OML/cmm /m/it/10 H$ \OT1/ptm/m/n/10 is a sim-pli-fied ac-ti-va- [] Underfull \hbox (badness 1460) in paragraph at lines 7707--7761 \OT1/ptm/m/n/10 tion set also for $\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 A[]\OML/cm m/m/it/10 ; []\OT1/cmr/m/n/10 ([]))$\OT1/ptm/m/n/10 . By Theorem5.16[], [] Underfull \hbox (badness 2103) in paragraph at lines 7763--7847 \OT1/ptm/m/n/10 Let us com-pare the ar-gu-ments $\OT1/cmr/m/n/10 (\OMS/cmsy/m/n /10 A[]\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 :[]\OT1/cmr/m/n/10 ([]))$ \OT1/ptm/m /n/10 and [] Underfull \hbox (badness 2285) in paragraph at lines 7763--7847 \OT1/ptm/m/n/10 We have $[] \U/msa/m/n/10 .[] []$ [] Underfull \hbox (badness 2538) in paragraph at lines 7763--7847 [] $\OMS/cmsy/m/n/10 :[]\OT1/cmr/m/n/10 ([])[]\U/euf/m/n/10 T[]$ \OT1/ptm/m/n/1 0 and, for every ac-ti-va-tion [] Underfull \hbox (badness 10000) in paragraph at lines 7763--7847 \OT1/ptm/m/n/10 set $\OML/cmm/m/it/10 H \OMS/cmsy/m/n/10 ^^R \U/euf/m/n/10 T[]$ \OT1/ptm/m/n/10 for $\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 A[]\OML/cmm/m/it/10 ; [ ]\OT1/cmr/m/n/10 ([]))$\OT1/ptm/m/n/10 , we get [] Underfull \hbox (badness 4036) in paragraph at lines 7763--7847 []\OT1/cmr/m/n/10 ([])[][]$ \OT1/ptm/m/n/10 so $\OML/cmm/m/it/10 H$ \OT1/ptm/m/ n/10 is an ac-ti-va-tion set also for [] Underfull \hbox (badness 3209) in paragraph at lines 7763--7847 [] \OMS/cmsy/m/n/10 6\U/msa/m/n/10 .[] []$ \OT1/ptm/m/n/10 is still the [] Underfull \hbox (badness 3148) in paragraph at lines 7763--7847 \OT1/ptm/m/n/10 We have $[] \U/msa/m/n/10 .[] []$\OT1/ptm/m/n/10 , [] Underfull \hbox (badness 10000) in paragraph at lines 7763--7847 \OT1/ptm/m/n/10 be-cause of $[]\OT1/cmr/m/n/10 ([])[]\U/euf/m/n/10 T[]$ \OT1/ ptm/m/n/10 and be-cause, if [] Underfull \hbox (badness 2922) in paragraph at lines 7763--7847 \OML/cmm/m/it/10 H \OMS/cmsy/m/n/10 ^^R \U/euf/m/n/10 T[]$ \OT1/ptm/m/n/10 is a sim-pli-fied ac-ti-va-tion set for [] Underfull \hbox (badness 2057) in paragraph at lines 7763--7847 \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 A[]\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 :[]\OT 1/cmr/m/n/10 ([]))$\OT1/ptm/m/n/10 , but not for $\OT1/cmr/m/n/10 (\OMS/cmsy/m /n/10 ;\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 :[]\OT1/cmr/m/n/10 ([]))$\OT1/ptm/m/ n/10 , then [] Underfull \hbox (badness 1242) in paragraph at lines 7763--7847 \OT1/ptm/m/n/10 we have $[]\OT1/cmr/m/n/10 ([])[]\OML/cmm/m/it/10 H $\OT1/ptm/ m/n/10 and thus $\OML/cmm/m/it/10 H$ \OT1/ptm/m/n/10 is a sim-pli-fied [] [7] Underfull \hbox (badness 6944) in paragraph at lines 7851--7876 \OT1/ptm/m/n/10 Monotonicity w.r.t. con-junc-tion means for a quasi- [] Underfull \hbox (badness 4217) in paragraph at lines 7877--7968 \OT1/ptm/m/n/10 cause $\OML/cmm/m/it/10 H[]\U/euf/m/n/10 T[]$ \OT1/ptm/m/n/10 i s an ac-ti-va-tion set for $\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 A[]\OML/cmm/m/it/ 10 ; \OT1/cmss/m/n/10 g[]\OT1/cmr/m/n/10 )$ \OT1/ptm/m/n/10 if [] Underfull \hbox (badness 2556) in paragraph at lines 7877--7968 \OMS/cmsy/m/n/10 f\OT1/cmss/m/n/10 a\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 :\OT1/c mss/m/n/10 f\OMS/cmsy/m/n/10 g [] \U/euf/m/n/10 T[]$ \OT1/ptm/m/n/10 is a sim-p li-fied ac-ti-va-tion set for [] LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <6> not available (Font) Font shape `OT1/ptm/b/n' tried instead on input line 7970. Underfull \hbox (badness 1642) in paragraph at lines 7970--8058 \OT1/ptm/m/n/10 All in all, $\U/msa/m/n/10 .[]$ \OT1/ptm/m/n/10 fails in this e x-am-ple again, whereas [] Underfull \hbox (badness 10000) in paragraph at lines 8071--8142 \OT1/ptm/m/n/10 Let us com-pare the speci-ficity of the ar-gu- [] Underfull \hbox (badness 5802) in paragraph at lines 8071--8142 \OT1/ptm/m/n/10 ments $\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 A[]\OML/cmm/m/it/10 ; \OT1/cmss/m/n/10 g[]\OT1/cmr/m/n/10 )$ \OT1/ptm/m/n/10 and $\OT1/cmr/m/n/10 (\O MS/cmsy/m/n/10 A[]\OML/cmm/m/it/10 ; \OT1/cmss/m/n/10 g[]\OT1/cmr/m/n/10 )$\OT1 /ptm/m/n/10 . $\U/euf/m/n/10 T[] \OT1/cmr/m/n/10 = \OMS/cmsy/m/n/10 f\OT1/cmss/ m/n/10 a\OML/cmm/m/it/10 ; \OT1/cmss/m/n/10 d\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 :$ [] Underfull \hbox (badness 1052) in paragraph at lines 8071--8142 \OT1/ptm/m/n/10 and the the ac-ti-va-tion set $\OMS/cmsy/m/n/10 f\OT1/cmss/m/n/ 10 b\OML/cmm/m/it/10 ; \OT1/cmss/m/n/10 d\OMS/cmsy/m/n/10 g$ \OT1/ptm/m/n/10 fo r $\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 A[]\OML/cmm/m/it/10 ; \OT1/cmss/m/n/10 g[] \OT1/cmr/m/n/10 )$\OT1/ptm/m/n/10 , we see [] Underfull \hbox (badness 2027) in paragraph at lines 8071--8142 \OT1/ptm/m/n/10 conjunction $\OT1/cmss/m/n/10 a[]d$ \OT1/ptm/m/n/10 --- which i s essen-tial to de-rive $\OT1/cmss/m/n/10 c[]f$ [] Underfull \hbox (badness 10000) in paragraph at lines 8143--8257 \OT1/ptm/m/n/10 Let us com-pare the speci-ficity of the ar-gu-ments [] Underfull \hbox (badness 10000) in paragraph at lines 8143--8257 \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 A[][]A[][]A[]\OML/cmm/m/it/10 ; \OT1/cmss/m/n /10 x\OT1/cmr/m/n/10 )$\OT1/ptm/m/n/10 , $\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 A[] []A[][]A[]\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 :\OT1/cmss/m/n/10 x\OT1/cmr/m/n/1 0 )$\OT1/ptm/m/n/10 , $\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 A[][]A[]\OML/cmm/m/it/ 10 ; \OT1/cmss/m/n/10 x\OT1/cmr/m/n/10 )$\OT1/ptm/m/n/10 . [] Underfull \hbox (badness 5245) in paragraph at lines 8143--8257 \OT1/ptm/m/n/10 We have $[] \OML/cmm/m/it/10 <[] []$ [] Underfull \hbox (badness 2547) in paragraph at lines 8143--8257 \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 A[][]A[][]A[]\OML/cmm/m/it/10 ; \OMS/cmsy/m/n /10 :\OT1/cmss/m/n/10 x\OT1/cmr/m/n/10 )$\OT1/ptm/m/n/10 , $\OT1/cmr/m/n/10 (\O MS/cmsy/m/n/10 A[][]A[]\OML/cmm/m/it/10 ; \OT1/cmss/m/n/10 x\OT1/cmr/m/n/10 )$ \OT1/ptm/m/n/10 con-tains $\OMS/cmsy/m/n/10 f\OT1/cmss/m/n/10 d\OML/cmm/m/it/10 ; \OT1/cmss/m/n/10 e\OMS/cmsy/m/n/10 g$\OT1/ptm/m/n/10 , which [] Underfull \hbox (badness 7168) in paragraph at lines 8143--8257 \OT1/ptm/m/n/10 We have $[][][] \U/msa/m/n/10 M[] [] Underfull \hbox (badness 1939) in paragraph at lines 8143--8257 \OT1/ptm/m/n/10 that $\U/msa/m/n/10 .[]$ \OT1/ptm/m/n/10 can-not com-pare these coun-ter-ar-gu-ments and [] [8] Underfull \hbox (badness 10000) in paragraph at lines 8258--8366 \OT1/ptm/m/n/10 Let us com-pare the speci-ficity of the ar-gu-ments [] Underfull \hbox (badness 3735) in paragraph at lines 8258--8366 \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 A[][]A[][]A[]\OML/cmm/m/it/10 ; \OT1/cmss/m/n /10 x\OT1/cmr/m/n/10 )$\OT1/ptm/m/n/10 . Further-more, every ac-ti-va-tion set [] Underfull \hbox (badness 1616) in paragraph at lines 8258--8366 \OT1/ptm/m/n/10 This is in-tu-itively sound be-cause $\OT1/cmr/m/n/10 (\OMS/cms y/m/n/10 A[][]A[][]A[]\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 :\OT1/cmss/m/n/10 x\O T1/cmr/m/n/10 )$ \OT1/ptm/m/n/10 is [] Underfull \hbox (badness 10000) in paragraph at lines 8258--8366 \OT1/ptm/m/n/10 We have $[] \OML/cmm/m/it/10 <[] [] \U/msa/m/n/10 M[] [] Underfull \hbox (badness 2495) in paragraph at lines 8258--8366 [][][]\OML/cmm/m/it/10 ;$ \OT1/ptm/m/n/10 how-ever. This means [] Underfull \hbox (badness 1348) in paragraph at lines 8368--8425 \OT1/ptm/m/n/10 We have $[] \OMS/cmsy/m/n/10 ^^Y[] []$\OT1/ptm/m/n/10 , be-ca use of [] Underfull \hbox (badness 1902) in paragraph at lines 8368--8425 \OT1/ptm/m/n/10 Note that nothing is changed here if $\OT1/cmss/m/n/10 s\OT1/c mr/m/n/10 (\OML/cmm/m/it/10 x\OT1/cmr/m/n/10 ) [] \OT1/cmss/m/n/10 q\OT1/cmr/m/ n/10 (\OML/cmm/m/it/10 x\OT1/cmr/m/n/10 )$ [] Underfull \hbox (badness 1226) in paragraph at lines 8368--8425 \OT1/ptm/m/n/10 is re-placed by set-ting $\OT1/cmr/m/n/10 ^^E[] := \OMS/cmsy/m/ n/10 f\OT1/cmss/m/n/10 s\OT1/cmr/m/n/10 (\OT1/cmss/m/n/10 a\OT1/cmr/m/n/10 )\OM S/cmsy/m/n/10 g\OML/cmm/m/it/10 :$ \OT1/ptm/m/n/10 If $\OT1/cmss/m/n/10 s\OT1 /cmr/m/n/10 (\OML/cmm/m/it/10 x\OT1/cmr/m/n/10 ) [] [] Underfull \vbox (badness 10000) has occurred while \output is active [] [9] Underfull \hbox (badness 1062) in paragraph at lines 8500--8523 \OT1/ptm/m/n/10 transitive relation $\U/msa/m/n/10 .[]$\OT1/ptm/m/n/10 . Only under the con-di-tion of [] Underfull \hbox (badness 1622) in paragraph at lines 8524--8533 \OT1/ptm/m/n/10 novel relation $\U/msa/m/n/10 .[]$ \OT1/ptm/m/n/10 also solves the prob-lem of non- [] (./allpdflatex.bbl Underfull \hbox (badness 1127) in paragraph at lines 23--30 \OT1/ptm/m/n/10 rev. Nov.9, 2001. $\OT1/pcr/m/n/10 http : / / dx . doi . org / 10 . 1016 / [] Underfull \hbox (badness 6125) in paragraph at lines 110--115 []\OT1/ptm/m/n/10 Stolzenburg, F.; Garc[]^^Pa, A. J.; Ches[]nevar, C. I.; [] Underfull \hbox (badness 2393) in paragraph at lines 110--115 \OT1/ptm/m/n/10 and Simari, G. R. 2003. Com-put-ing gen-er-al-ized [] Underfull \hbox (badness 2970) in paragraph at lines 110--115 \OT1/ptm/m/n/10 speci-ficity. \OT1/ptm/m/it/10 J. Ap-plied Non-Classical Logic s \OT1/ptm/m/n/10 13:87-- [] ) [10] (./allpdflatex.aux) ) Here is how much of TeX's memory you used: 6613 strings out of 94500 75538 string characters out of 1176114 148036 words of memory out of 1500000 9120 multiletter control sequences out of 10000+50000 41146 words of font info for 107 fonts, out of 1200000 for 2000 1204 hyphenation exceptions out of 8191 32i,20n,26p,250b,294s stack positions out of 5000i,500n,6000p,200000b,5000s PDF statistics: 95 PDF objects out of 65536 0 named destinations out of 20000 1 words of extra memory for PDF output out of 65536 {/sw/share/texmf-dist/fonts/enc/dvips/psnfss/8r.enc } Output written on allpdflatex.pdf (10 pages, 204280 bytes).