?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rft.title=A+Speech+Act+Calculus.+A+Pragmatised+Natural+Deduction+Calculus+and+its+Meta-theory&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.+a+natural+deduction+calculus+that+incorporates+illocutionary+operators+at+the+formal+level%2C+and+prove+its+adequacy.+&rft.date=2011-07-18&rft.type=Other&rft.type=NonPeerReviewed&rft.format=application%2Fpdf&rft.identifier=http%3A%2F%2Fcogprints.org%2F7596%2F1%2FA_Speech_Act_Calculus.pdf&rft.identifier=++Cordes%2C+M.+A.+Moritz+and+Reinmuth%2C+M.+A.+Friedrich++(2011)+A+Speech+Act+Calculus.+A+Pragmatised+Natural+Deduction+Calculus+and+its+Meta-theory.+++++(Unpublished)++&rft.relation=http%3A%2F%2Fcogprints.org%2F7596%2F