%!PS-Adobe-2.0 %%Creator: dvips(k) 5.86 Copyright 1999 Radical Eye Software %%Title: vienna-logic.dvi %%Pages: 1 %%PageOrder: Ascend %%BoundingBox: 0 0 596 842 %%EndComments %DVIPSWebPage: (www.radicaleye.com) %DVIPSCommandLine: dvips -f vienna-logic.dvi %DVIPSParameters: dpi=600, compressed %DVIPSSource: TeX output 2001.01.09:2304 %%BeginProcSet: texc.pro %! /TeXDict 300 dict def TeXDict begin/N{def}def/B{bind def}N/S{exch}N/X{S N}B/A{dup}B/TR{translate}N/isls false N/vsize 11 72 mul N/hsize 8.5 72 mul N/landplus90{false}def/@rigin{isls{[0 landplus90{1 -1}{-1 1}ifelse 0 0 0]concat}if 72 Resolution div 72 VResolution div neg scale isls{ landplus90{VResolution 72 div vsize mul 0 exch}{Resolution -72 div hsize mul 0}ifelse TR}if Resolution VResolution vsize -72 div 1 add mul TR[ matrix currentmatrix{A A round sub abs 0.00001 lt{round}if}forall round exch round exch]setmatrix}N/@landscape{/isls true N}B/@manualfeed{ statusdict/manualfeed true put}B/@copies{/#copies X}B/FMat[1 0 0 -1 0 0] N/FBB[0 0 0 0]N/nn 0 N/IEn 0 N/ctr 0 N/df-tail{/nn 8 dict N nn begin /FontType 3 N/FontMatrix fntrx N/FontBBox FBB N string/base X array /BitMaps X/BuildChar{CharBuilder}N/Encoding IEn N end A{/foo setfont}2 array copy cvx N load 0 nn put/ctr 0 N[}B/sf 0 N/df{/sf 1 N/fntrx FMat N df-tail}B/dfs{div/sf X/fntrx[sf 0 0 sf neg 0 0]N df-tail}B/E{pop nn A definefont setfont}B/Cw{Cd A length 5 sub get}B/Ch{Cd A length 4 sub get }B/Cx{128 Cd A length 3 sub get sub}B/Cy{Cd A length 2 sub get 127 sub} B/Cdx{Cd A length 1 sub get}B/Ci{Cd A type/stringtype ne{ctr get/ctr ctr 1 add N}if}B/id 0 N/rw 0 N/rc 0 N/gp 0 N/cp 0 N/G 0 N/CharBuilder{save 3 1 roll S A/base get 2 index get S/BitMaps get S get/Cd X pop/ctr 0 N Cdx 0 Cx Cy Ch sub Cx Cw add Cy setcachedevice Cw Ch true[1 0 0 -1 -.1 Cx sub Cy .1 sub]/id Ci N/rw Cw 7 add 8 idiv string N/rc 0 N/gp 0 N/cp 0 N{ rc 0 ne{rc 1 sub/rc X rw}{G}ifelse}imagemask restore}B/G{{id gp get/gp gp 1 add N A 18 mod S 18 idiv pl S get exec}loop}B/adv{cp add/cp X}B /chg{rw cp id gp 4 index getinterval putinterval A gp add/gp X adv}B/nd{ /cp 0 N rw exit}B/lsh{rw cp 2 copy get A 0 eq{pop 1}{A 255 eq{pop 254}{ A A add 255 and S 1 and or}ifelse}ifelse put 1 adv}B/rsh{rw cp 2 copy get A 0 eq{pop 128}{A 255 eq{pop 127}{A 2 idiv S 128 and or}ifelse} ifelse put 1 adv}B/clr{rw cp 2 index string putinterval adv}B/set{rw cp fillstr 0 4 index getinterval putinterval adv}B/fillstr 18 string 0 1 17 {2 copy 255 put pop}for N/pl[{adv 1 chg}{adv 1 chg nd}{1 add chg}{1 add chg nd}{adv lsh}{adv lsh nd}{adv rsh}{adv rsh nd}{1 add adv}{/rc X nd}{ 1 add set}{1 add clr}{adv 2 chg}{adv 2 chg nd}{pop nd}]A{bind pop} forall N/D{/cc X A type/stringtype ne{]}if nn/base get cc ctr put nn /BitMaps get S ctr S sf 1 ne{A A length 1 sub A 2 index S get sf div put }if put/ctr ctr 1 add N}B/I{cc 1 add D}B/bop{userdict/bop-hook known{ bop-hook}if/SI save N @rigin 0 0 moveto/V matrix currentmatrix A 1 get A mul exch 0 get A mul add .99 lt{/QV}{/RV}ifelse load def pop pop}N/eop{ SI restore userdict/eop-hook known{eop-hook}if showpage}N/@start{ userdict/start-hook known{start-hook}if pop/VResolution X/Resolution X 1000 div/DVImag X/IEn 256 array N 2 string 0 1 255{IEn S A 360 add 36 4 index cvrs cvn put}for pop 65781.76 div/vsize X 65781.76 div/hsize X}N /p{show}N/RMat[1 0 0 -1 0 0]N/BDot 260 string N/Rx 0 N/Ry 0 N/V{}B/RV/v{ /Ry X/Rx X V}B statusdict begin/product where{pop false[(Display)(NeXT) (LaserWriter 16/600)]{A length product length le{A length product exch 0 exch getinterval eq{pop true exit}if}{pop}ifelse}forall}{false}ifelse end{{gsave TR -.1 .1 TR 1 1 scale Rx Ry false RMat{BDot}imagemask grestore}}{{gsave TR -.1 .1 TR Rx Ry scale 1 1 false RMat{BDot} imagemask grestore}}ifelse B/QV{gsave newpath transform round exch round exch itransform moveto Rx 0 rlineto 0 Ry neg rlineto Rx neg 0 rlineto fill grestore}B/a{moveto}B/delta 0 N/tail{A/delta X 0 rmoveto}B/M{S p delta add tail}B/b{S p tail}B/c{-4 M}B/d{-3 M}B/e{-2 M}B/f{-1 M}B/g{0 M} B/h{1 M}B/i{2 M}B/j{3 M}B/k{4 M}B/w{0 rmoveto}B/l{p -4 w}B/m{p -3 w}B/n{ p -2 w}B/o{p -1 w}B/q{p 1 w}B/r{p 2 w}B/s{p 3 w}B/t{p 4 w}B/x{0 S rmoveto}B/y{3 2 roll p a}B/bos{/SS save N}B/eos{SS restore}B end %%EndProcSet TeXDict begin 39158280 55380996 1200 600 600 (vienna-logic.dvi) @start %DVIPSBitmapFont: Fa cmti10 12 18 /Fa 18 122 df83 D<003FB500F8011FB51280A326003FF8C8EBE000D91FE0ED3F80013F70C7FC181E5C181C 183C017F16385CA2187801FF167091C9FCA218F0485F5BA2170100035F5BA2170300075F 5BA21707120F4993C8FCA25F121F49150EA2171E123F49151CA2173C127F491538A21778 00FF167090C9FCA217F05F1601485E16035F16074CC9FC007F151E161C163C6C5D6D5C6C 6CEB03E0000F4A5A6C6C49CAFC6C6C137E3901FE03F839007FFFE0011F1380D903FCCBFC 41466CC34A>85 D<021FB712FC5C19F893C7120F03F0EC1FF0DA7FC0EC3FE04BEC7FC002 7EC8EAFF804A16004A5C4D5A49484A5A4A4A5A604A4A5A0103153F4A4A5A4D5A01074A90 C7FC91C75B16034C5A90C8485A4C5A4C5A5F167F4C5A4B90C8FC4B5A4B5A5E150F4B5A4B 5A4B5A5E15FF4A90C9FC4A5A4A5A4A5A4B1470141F4A5A4A4814F04A485C4990C8FC4A14 0101035E495A49481403495A4A4A5A495A017F150F494892C7FC4890C85A48485D495D00 0716FE48481401484814034848EC1FFC4848EB01FF90B7FCB8FC5F3E4478C33D>90 D97 DI101 DI<157E913803FF8091390FC3C38091393F00EFE014 7E4A137F495A4948EB3FC01307495A131F4A1480133F4A137F137F91C713005B5E5A495C A215011203495CA21503A2495CA21507A25EA2150FA200014A5A153F157F000014FFD97C 015BEC03DF90381E0F3FEB0FFED903F05B90C7FC157FA293C7FCA25DA25DA2001C495A12 7F48495A4A5AA248495AEC1F8000F8017FC8FC387E01FC381FFFF0000313802B407AAB2E >I<141C147F14FFA314FEA214781400AE133EEBFF803803C7C0380783E01303000E13F0 121CA2EA3807A21278EA700F14E0131F00F013C012E0EA003F1480A2137F1400A25B5B12 015BA212035B140F0007130E13F0A2000F131EEBE01CA2143813C01470A214E03807C1C0 3803C3803801FF00EA007C184377C11F>105 D<01F8D90FF0EB07F8D803FED93FFCEB1F FED8071FD9F83F90387C1F803E0E0F83C01F81E00FC0001ED9C780D9C3C07F001C903BCF 000FC7800702DEECCF00003801FC02FE804A5C49485C12780070495C4A5CD8F03F021F14 0F00E04C5C5C1200017F023F141F6291C75BA249027F143F624992C7FC197F00014B92C7 FCA2494A5C6100030201EE03C006011480494A14FCA2000702030203130707F81300495C 1A0E000F020715F062495C6206015B494A01005BF17FC06CC7D80380021FC7FC4A2D77AB 51>109 D<01F8EB0FF0D803FEEB3FFCD8071FEBF83F3B0E0F83C01F80001ED9C7807F00 1C9038CF000F14DE003801FC805C495A127800705B5CD8F03F141F00E05E5C1200017F14 3F5F91C7FCA249147F94C7FC5B5E00015DA24913015E0003EE0780030314004914F8A200 0702075BEEF00E5B5F000F15E05F5B5F03035B49903801E1C06FB45A6CC8003EC7FC312D 77AB38>II<01F8EB3FE0D803 FEEBFFF83A071F03E03E3A0F0F87801F001E9038CF007F001C13DE02FC13FF00385B5C01 1F14FE0078491338007015005CEAF03F12E05C1200137FA291C8FCA25BA25BA21201A25B A21203A25BA21207A25BA2120FA25BA35BA26CC9FC282D77AB2A>114 DI<1470EB01FCA21303A25CA2 1307A25CA2130FA25CA2131FA25CA2007FB512F0B6FC15E039003F8000137FA291C7FCA2 5BA25BA21201A25BA21203A25BA21207A25BA2120FA25BA2001FEB03C0158013C0140715 00003F5BEB800E141E141C001F5B14785C380F81E0380783C06CB4C7FCEA00FC1C3F77BD 21>I<133ED9FF80EB07802603C3C0EB0FC0260783E0131F1303000E6D133F001C1680A2 EA3C070038157F00781600EA700F5C011F5C00F0495B12E0EA003FEC80015E137F140015 03495C5BA2150700015D5BA2030F131CEEE03C48481538A21778031F137016C01201033F 13F017E0ED7FC16C6C01EF13C090397E01C7C3903A3E0783E780903A1FFE01FF00903903 F8007C2E2D77AB35>I<013E1438D9FF8013FE3903C7C001260783E013FF1303000E13F0 121C81D83807147F163F1278D8700F141F5C131F00F049130E12E0EA003F4A131E161C13 7F91C7FC163C4914385BA21678000115705B16E0A21501484814C0A2ED0380A20001EC07 005D150E6D5B00005C5D017E5B90383F03C0D90FFFC7FCEB01FC282D77AB2E>I<133ED9 FF80EB07802603C3C0EB0FC0260783E0131F1303000E6D133F001C1680A2EA3C07003815 7F00781600EA700F5C011F5C00F0495B12E0EA003FEC80015E137F14001503495C5BA215 0700015D5BA2150F5E485AA2151F5EA21201153F5E157F6C6C13FFEB7E01D93E0790C7FC 90381FFE7FEB03F890C75A5DA214015DEA0F80393FC003F8A24A5AD87F805B4A5A49485A 007849C8FC0038133E5C6C485A380E07E03807FF80D801FCC9FC2A4077AB30>121 D E %EndDVIPSBitmapFont %DVIPSBitmapFont: Fb cmr10 12 34 /Fb 34 120 df19 D<006014C00078130300FCEB07E0003FEB1F 80391FC07F00380FE0FE3803FBF86CB45A6C5BEB3F806DC7FC130E1B0C75BF32>I<1406 140E141C143814F014E01301EB03C0EB0780EB0F005B131E133E5B137813F85B1201A248 5AA2485AA2120F5BA2121FA290C7FCA25AA3123E127EA65AB3A2127EA6123E123FA37EA2 7FA2120FA27F1207A26C7EA26C7EA212007F1378137C7F131E131F7FEB0780EB03C0EB01 E0130014F01438141C140E1406176476CA27>40 D<12C07E12707E121E120E120F6C7E6C 7E6C7E7F12007F137C133C133E131E131FA2EB0F80A2EB07C0A214E01303A214F0A21301 A214F8A3130014FCA6147EB3A214FCA614F81301A314F0A21303A214E0A2130714C0A2EB 0F80A2EB1F00A2131E133E133C137C5B5B12015B485A485A48C7FC120E121E12385A5A5A 17647BCA27>I<121FEA3F80EA7FC0EAFFE0A313F0A2127FEA3FB0EA1F301200A4137013 60A213E013C0A2120113801203EA07001206120E5A5A12300C1E788A1C>44 DI<121FEA3F80EA7FC0EAFFE0A5EA7FC0EA3F80EA1F000B0B78 8A1C>I<121FEA3F80EA7FC0EAFFE0A5EA7FC0EA3F80EA1F00C7FCB3A3121FEA3F80EA7F C0EAFFE0A5EA7FC0EA3F80EA1F000B2B78AA1C>58 D<16F0A34B7EA34B7EA24B7EA34B7E A34B7F151CA2033C7FED387FA203787FED703FA203E07F161FA2DA01C07F160FA24A486C 7EA34A486C7EA3020E6D7EA34A6D7FA2023C810238147FA20278810270143F027FB6FC91 B77EA202E0C7121F0101824A140FA20103824A1407A249C87F1703A2010E6F7EA3496F7F A2133C013E83137E48B483000701C0020313F8B500FC91B612F0A344477DC64B>65 DI73 D77 D80 D97 D<13FE12FFA3120312011200B315FF02 0713E091381F01F8913878007E4A7F6D48EB1FC04A6D7E4A6D7E91C77F16034981160183 A28382A21880AB18005EA25FA24C5AA26D5D4C5A6E495A6E5C01F94A5AD9F8F049C7FCD9 F07813FE91383E03F89039E00FFFC090260001FEC8FC31467EC437>II I<14FF010713E090381F81F890387E00FC49137F4848EB3F800003141F484814C04848EB 0FE0A2121F49EB07F0123FA2007F15F85BA200FF1403A390B6FCA20180C8FCA6127FA37F 123F1638121F6D1478000F15706C6C14F016E06C6C13016C6CEB03C0D8007EEB07806DEB 1F0090380FC07C903803FFF09038007F80252E7DAC2C>III<13FE12FFA3120312011200B3ED7F809138 03FFF091380781FC91381E00FE0238137F4A7F4A805C01FF6E7E5CA291C7FCA35BB3A848 6C4A7EB5D8FE1FB512C0A332457DC437>II<13FE12FFA312031201 1200B3A292380FFFFEA3030313E094C7FCED01FC4B5A16E04B5A4B5A4BC8FC153E15785D EC03E04A5A140F4A7E4A7E147FECF3F89038FFE3FCECC1FE14804A7E496D7E49133F826F 7E150F6F7E826F7E1501826F7E707EA217E0486C4A7EB5D8FC07EBFF80A331457EC435> 107 D<13FE12FFA3120312011200B3B3B3A5487EB512FEA317457DC41C>IIII<01FE13FF00FF010713E091381F 01F891387800FE000349137F6C6C48EB3FC06C496D7E4A6D7E91C76C7EA2496E7EA28316 0183A3701380AB4C1300A35F16035F16076D5D4C5A6E5C6E495A4C5AD9FEF049C7FC0278 13FE91383E03F891380FFFC0DA01FEC8FC91CAFCAE487EB512FEA3313F7EAB37>I<3901 FC01F800FFEB0FFEEC1E1F9138383F8000039038707FC0000113E0000013C013FD1480ED 3F8001FFEB0E0091C8FCA45BB3A67F487FB6FCA3222C7EAB27>114 D<90381FF0183901FFFC383907E00F78390F8007F8381E00015A007C130000781478A212 F81538A27E7EA26C6C1300EA7FE013FE383FFFF06C13FE6CEBFF806C14E0000114F06C6C 13F8010F13FCEB007FEC07FE140100E0EB00FF157F153F7E151FA27EA2151E7E153E6C14 3C6C147C6D13F839FBC001F039F0F00FC039E07FFF0038C00FF8202E7DAC27>I<130EA6 131EA4133EA2137EA213FE120112031207001FB512F8B6FCA2C648C7FCB3A4150EAA017E 131E017F131CA26D133C90381F8038ECC070903807E0E0903801FFC09038007F001F3E7E BC27>I<01FEEC1FC000FFEC1FFFA30003EC007F0001153F0000151FB3A8163FA3167FA2 017E14FF017F14DF6D01017F913980039FF0903B1FC0071FFFC0903807F01E903801FFF8 9026003FE0EBC000322D7DAB37>III E %EndDVIPSBitmapFont %DVIPSBitmapFont: Fc cmssdc10 14.4 12 /Fc 12 116 df<923803FFFC033FEBFFE04AB612FC020FEDFF80023F16E05C49B8FC5B5B 4917C05B49EC801F499038FC000190B500F0EB003F4802C0141F92C8EA07804849150348 4992C7FC5C5A5C485BA25C5AA25CA25A91CBFCA4B5FC5BB17F7EA4807EA280A27E80A26C 7F807E6E16E06C6D15016C6D150303C0140F6C02F0143F6D01FCECFFF06D9038FF80076D 91B6FC7F7F7F6D17C06D6C16806E1600020F15FC020115F0DA003F14C0030301FCC7FC3C 557AD349>67 D76 D<263FFF80933803FFF84801E0040F13FCB56C4C13FEA26E5EA36180A36E93 B5FCA201F718BF6E5DA301F36D4A133FA36F5C01F117FEA26F140FA201F017FC6F141FA3 6E6CEC3FF8A36F147F023F16F0A26F14FF021F16E0A26F5B6E16C0A3705A6E1680A2705A 6E1600A2705A6E5DA36E6D485AA3037F5CEEF83FA2033F5CA2EEFC7F031F5CA36F6C485A A303075C93B5FCA26F91C7FCA36F5BA35F81A2705AEE1FE06C4891C9EA1FFC6C48F00FF8 4F5376D264>I97 D99 D II<91397FC01FF8903A03FFF83FFC010F9038FC7FFE013F13FE4913FF90B7FC5A5A48EB FE0FECF80348EBE00148497EA24849137FA291C7FC5A5BA412FF5BAC16FF7F127FA36D5B 7E14805D6C6D5A6C13E0ECFC1F6C90B6FC6C157F7E6C14FE6D13FC011F13F8010713F001 0013C091C7FCA617FCA316FFA2000616F8000F5C6D15F001E05B01F815E001FE5B9026FF E01F13C091B6128017006C5D6C5DC65D013F14E0010714809026007FFCC7FC2F507CB83A >103 D105 D108 D111 D<903807FF80013F13F890B512FE0003ECFF804815E05AA25AEBFE013A3FF8003FC0150F 491307007F1403ED018092C7FCA37FA27F7FEBFFE06C13FEECFFC06C14F0816C14FE6C80 16807EC615C06D14E07F010714F0EB007F1407020113F880157FA2153FA212301278127C 127E007F147F01C014F0D8FFF013FFEBFE0390B612E0A216C0003F15806C150000075C00 015C6C6C13F001071380253B7DB92C>115 D E %EndDVIPSBitmapFont %DVIPSBitmapFont: Fd cmssdc10 13.14 23 /Fd 23 122 df44 D65 D<003FB712F85AB812FCA617F8A201FCC9FCB3A590B7FCA21780A51700A201FCC9FCB3AE 6C5A123F2E4C78CB3B>70 D73 D76 D85 DI<903801FFC0011F13F890B512FE0003ECFF804815C0001F15E016F0D9FC00 13F801F0137F01C014FC6C48133F90C7FC000E15FE000C141FC8FCA8EC03FF91B5FC1307 133F90B6FC0003EBF81F4813C0481300485A485A5B127F5B12FF5BA5153F7F157F127F6D 13FF6D5A383FFE0790B6FC6C14DF6C149F6CEBFE1F6C9038FC0FFCC613F0D93F80C7FC27 377DB531>97 D99 D101 DI<02FFEBFFC0010713C0011F01F113E0017F13F990B512FD4891B5FC5A48EB F03F48EBC00F4A7E4813008148487F5BA2127F5BA312FF5BAD6D5B127FA36D5B123F7F5D 6C6C5B6C1380ECE07F6CEBFFFD7E6C14F96C14F1013F13E1010F13C1903801FE0190C7FC A617C05DA2120C000E1680000F5C01C015006D5B01F8495A9038FF807F91B55A5E00035D C615C0013F5C010F01FCC7FC010013E02B4A7DB435>I105 D108 D<273FC001FFEC0FF800 7F010F01C0EB7FFE26FFE03FD9F001B512804AD9FC0314E091B55B01E16E4814F001E36E 4814F89026E7F03FEB3F819026EFC01FEB7E004A6C49EB7FFCD9FF005C496D49133F495D A2495DA3495DB3B06C486D90C7EA1FF8003F6E150F46357AB453>I<393FC003FE007F90 380FFFC026FFE03F13E091B512F813E101E314FC16FE9038E7E07F9038EFC03F9138001F FF13FF497F5BA25BA35BB3B06C48EB07FE123F28357AB435>II<393FC003E0007F130F38FFE03F147F14FF13E113E313 E7A29038EFFC0014F0EBFFC05C91C7FCA25B5BA25BA35BB3AC6C5A123F1B357AB423> 114 DIIII<007F15FFD8FFC05B6D491380A217006D5B127F6D5C123F150F 7F001F5D151F7F000F5DA26D133F7E5E6C1380157F5E6C13C0A24B5A6C7FA2137F02E15B 14F1133F93C7FCA2131F14FB5D130FA201075BA214FF7F5DA27F5D7FA36E5AA35DA35D14 FFA34990C8FC5B386007FEEA780F387FFFFC5CA25C14C06C5B49C9FCEA0FF829477DB32F >121 D E %EndDVIPSBitmapFont %DVIPSBitmapFont: Fe cmcsc10 12 21 /Fe 21 119 df<121FEA3F80EA7FC0EAFFE0A313F0A2127FEA3FB0EA1F301200A4137013 60A213E013C0A2120113801203EA07001206120E5A5A12300C1E768A20>44 D48 D<1438147814F81303130F13FFB5FC13F713071200B3B3B0497E497EB712C0A3224276C1 37>I<49B4FC010F13F0013F13FC9038FC03FF2601E00013C0D807C0EB3FE048486D7E90 C76C7E001E6E7E4881003814030078811270007C80B416807F7F81A46C485B6CC7FCC8FC 17005DA25E15075E4B5AA24B5A5E4B5A4B5A4BC7FC5D4A5A4A5A4A5AEC0FC04A5A92C8FC 143E5C5C495A4948EB0380EB078049C7FC011EEC07005B5B5B48485C485A49141E48B612 FE5A5A5A5AB75AA329427AC137>I<121C121EEA1FC090B712F0A34816E0A217C0178017 00003CC8120F48151E5E0070153816785E4B5A485D15034B5AC848C7FC150E151E5D5D15 7015F04A5AA24A5AA24A5A140FA24AC8FCA25C143E147EA35CA21301A31303A25CA21307 A6130FAA6D5AEB01C02C4579C237>55 D73 D78 D<157015F8A34A7EA24A7EA34A7E81A291380E3F80A2021E7FEC1C1FA24A6C7EA34A6C7E A202F07FECE003A249486C7EA349486C7EA201078091C77EA249B67EA24981011CC7121F A2013C810138140FA2496E7EA201F081491403120183486C140100074B7ED81FF84A7EB5 027F13F8A335357CB43D>97 DI100 DI103 D105 D107 DIIII114 D<007FB812C0A3903A8007FC003F277E0003F8130F007C16070078160300701601A200F0 17E0A2481600A6C71600B3AA4A7E4A7E010FB512FEA333327CB13B>116 D118 D E %EndDVIPSBitmapFont end %%EndProlog %%BeginSetup %%Feature: *Resolution 600dpi TeXDict begin %%PaperSize: A4 %%EndSetup %%Page: 1 1 1 0 bop 830 261 a Fe(Invited)39 b(t)-7 b(alk)38 b(given)f(on)h(No)n (vember)g(17,)f(2000)h(a)-7 b(t)564 441 y Fd(Institute)34 b(fo)m(r)g(F)m(o)m(rmal)g(Logic,)h(Universit)m(y)g(of)f(Vienna,)i (Vienna,)f(Austria)1417 1038 y Fc(Classical)g(Logic)j(Mo)s(dels)1617 1277 y Fb(Mladen)c(P)m(a)m(vi)m(\024)-47 b(ci)m(\023)g(c)1507 1517 y Fa(University)35 b(of)g(Zagr)-5 b(eb)0 1875 y(Summary)9 b Fb(:)45 b(A)33 b(w)m(ell-kno)m(wn)g(ortholattice)e(mo)s(del)h(of)h (classical)f(prop)s(ositional)g(logic)g(is)h(the)g(Bo)s(olean)0 1995 y(algebra)h(\(a)f(distributiv)m(e)h(ortholattice,)f(whic)m(h)i(is) f(therefore)h(orthomo)s(dular)d(as)i(w)m(ell\).)46 b(In)34 b(this)g(talk)0 2114 y(I)43 b(will)f(sho)m(w)i(that)f(there)h(is)f (also)f(another)i(ortholattice)e(mo)s(del)g(of)i(classical)e(prop)s (ositional)h(logic)0 2234 y(whic)m(h)c(is)f(neither)h(distributiv)m(e)g (nor)f(orthomo)s(dular)f(so)h(that)g(classical)g(prop)s(ositional)g (logic)f(turns)0 2353 y(out)28 b(to)h(b)s(e)g(non-categorical.)42 b(I)29 b(giv)m(e)f(the)h(soundness)i(and)e(completeness)g(pro)s(ofs)g (for)g(the)g(new)g(mo)s(del)0 2473 y(and)34 b(compare)f(them)f(with)h (those)h(for)f(the)h(Bo)s(olean)e(algebra.)p eop %%Trailer end userdict /end-hook known{end-hook}if %%EOF