# Research

### From Department of Applied Logic

Pogonowski (Talk | contribs)

(New page: de:Forschung pl:Badania What do we mean by Applied Logic? First of all, application of tools, concepts, methods, etc. as devoloped in mathematical logic to the study of language. ...)

Next diff →

## Revision as of 09:23, 19 June 2007

What do we mean by Applied Logic? First of all, application of tools, concepts, methods, etc. as devoloped in mathematical logic to the study of language. We try to do our best, depending on our academic background (mathematics, linguistics, information science and philosophy).

## Contents |

## [edit] Jerzy Pogonowski

(Research Work)

Jerzy Pogonowski wrote several works on logical reconstruction of linguistic theories, as well as applications of some mathematical tools to the description of natural language. More recently, he became interested in logical pragmatics and philosophy of logic and mathematics.

## [edit] Wladyslaw Zabrocki

(Research Work)

Wladyslaw Zabrocki wrote his PhD on the nativistic assumptions in the theory of generative-transformational grammars. Recently, he is interested first of all in the philosophy of language and methodology of linguistics in a historical perspective.

## [edit] Dorota Lipowska

(Research Work)

Dorota Lipowska wrote her PhD on computer-based analysis of natural language. Recently, she is interested first of all the theory of formal grammars and its applications to linguistics.

## [edit] Wlodzimierz Lapis

(Research Work)

Wlodzimierz Lapis wrote his PhD on algorithmization and automatization of some linguistic (phonetic and phonological) procedures. Recently, he is working on optimalization of the description of the given set of objects and characteristics of its elements.

## [edit] Slawomir Sikora

(Research Work)

Slawomir Sikora wrote his PhD on formal pragmatics. Recently, he is interested first of all in theories of speech acts.

## [edit] Marcin Junczys-Dowmunt

(Research Work)

Marcin Junczys-Dowmunt wrote his Master's Thesis on computational methods of morphological analysis for the German language. Currently he is still interested in computational linguistics, especially in finite-state automata and transducers used for morfological analysis.

## [edit] Victoria Kamasa

(Research Work)