Jerzy Pogonowski - Research
From Department of Applied Logic
(Difference between revisions)
| Revision as of 17:28, 17 June 2007 (edit) Pogonowski (Talk | contribs) ← Previous diff |
Current revision (23:07, 8 December 2014) (edit) (undo) Pogonowski (Talk | contribs) |
||
| (6 intermediate revisions not shown.) | |||
| Line 1: | Line 1: | ||
| - | [[Category:Research]] | + | [[pl:Jerzy_Pogonowski_-_Tematyka_badawcza]] |
| + | [[de:Jerzy_Pogonowski_-_Forschung]] | ||
| + | |||
| + | [[Jerzy Pogonowski - Curriculum Vitae|CV]] | | ||
| + | [[Jerzy Pogonowski - Research|Research]] | | ||
| + | [[Jerzy Pogonowski - Teaching|Teaching]] | | ||
| + | [[Jerzy Pogonowski - Publications|Publications]] | | ||
| + | [[Jerzy Pogonowski - Texts on line|Texts on line]] | ||
| + | |||
| + | ---- | ||
| + | |||
| + | ==Work in progress== | ||
| + | |||
| + | * Extremal axioms | ||
| + | * Mathematical intuition | ||
| + | * Mathematical foundations of metalogic | ||
| + | * The logical works of Roman Suszko | ||
| + | * Skolem's paradox | ||
| + | * Ernst Zermelo's infinitary logic | ||
| + | * Semantic tableaux. | ||
| ==Past work== | ==Past work== | ||
| Line 8: | Line 27: | ||
| * Structural typology of languages | * Structural typology of languages | ||
| * Phonological trifles. | * Phonological trifles. | ||
| - | |||
| - | ==Work in progres== | ||
| - | |||
| - | * The logical works of Roman Suszko | ||
| - | * Skolem's paradox | ||
| - | * Ernst Zermelo's infinitary logic. | ||
| - | [[pl:Jerzy_Pogonowski_-_Tematyka_badawcza]] | + | [[Category:Research]] |
| - | [[de:Jerzy_Pogonowski_-_Forschung]] | + | [[Category:Staff]] |
Current revision
CV | Research | Teaching | Publications | Texts on line
[edit] Work in progress
- Extremal axioms
- Mathematical intuition
- Mathematical foundations of metalogic
- The logical works of Roman Suszko
- Skolem's paradox
- Ernst Zermelo's infinitary logic
- Semantic tableaux.
[edit] Past work
- Hierarchical analyses of language
- Tolerance and opposition spaces
- Lexical and combinatory semantics
- Structural typology of languages
- Phonological trifles.
