?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rft.title=Ein+Redehandlungskalk%C3%BCl.+Ein+pragmatisierter+Kalk%C3%BCl+des+nat%C3%BCrlichen+Schlie%C3%9Fens+nebst+Metatheorie&rft.creator=Cordes%2C+M.+A.+Moritz&rft.creator=Reinmuth%2C+M.+A.+Friedrich&rft.subject=Logic&rft.description=Building+on+the+work+of+Peter+Hinst+and+Geo+Siegwart%2C+we+develop+a+pragmatised+natural+deduction+calculus%2C+i.e.%2C+a+natural+deduction+calculus+that+incorporates+illocutionary+operators+at+the+formal+level%2C+and+prove+its+adequacy.+&rft.date=2010-10-26&rft.type=Other&rft.type=NonPeerReviewed&rft.format=application%2Fpdf&rft.identifier=http%3A%2F%2Fcogprints.org%2F7134%2F4%2FEin_Redehandlungskalk%25C3%25BCl.pdf&rft.identifier=++Cordes%2C+M.+A.+Moritz+and+Reinmuth%2C+M.+A.+Friedrich++(2010)+Ein+Redehandlungskalk%C3%BCl.+Ein+pragmatisierter+Kalk%C3%BCl+des+nat%C3%BCrlichen+Schlie%C3%9Fens+nebst+Metatheorie.+++++(Unpublished)++&rft.relation=http%3A%2F%2Fcogprints.org%2F7134%2F