Jerzy Pogonowski - Research
From Department of Applied Logic
(Difference between revisions)
| Revision as of 11:55, 19 June 2007 (edit) Pogonowski (Talk | contribs) ← Previous diff |
Current revision (23:07, 8 December 2014) (edit) (undo) Pogonowski (Talk | contribs) |
||
| (2 intermediate revisions not shown.) | |||
| Line 9: | Line 9: | ||
| ---- | ---- | ||
| + | |||
| + | ==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 17: | Line 27: | ||
| * Structural typology of languages | * Structural typology of languages | ||
| * Phonological trifles. | * Phonological trifles. | ||
| - | |||
| - | ==Work in progress== | ||
| - | |||
| - | * The logical works of Roman Suszko | ||
| - | * Skolem's paradox | ||
| - | * Ernst Zermelo's infinitary logic | ||
| - | * Semantic tableaux. | ||
| - | |||
| [[Category:Research]] | [[Category:Research]] | ||
| [[Category:Staff]] | [[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.
