Jerzy Pogonowski - Research
From Department of Applied Logic
(Difference between revisions)
| Revision as of 16:49, 8 December 2014 (edit) Pogonowski (Talk | contribs) (→Work in progress) ← Previous diff |
Current revision (23:07, 8 December 2014) (edit) (undo) Pogonowski (Talk | contribs) |
||
| Line 9: | Line 9: | ||
| ---- | ---- | ||
| - | |||
| - | ==Past work== | ||
| - | |||
| - | * Hierarchical analyses of language | ||
| - | * Tolerance and opposition spaces | ||
| - | * Lexical and combinatory semantics | ||
| - | * Structural typology of languages | ||
| - | * Phonological trifles. | ||
| ==Work in progress== | ==Work in progress== | ||
| Line 27: | Line 19: | ||
| * Ernst Zermelo's infinitary logic | * Ernst Zermelo's infinitary logic | ||
| * Semantic tableaux. | * Semantic tableaux. | ||
| + | |||
| + | ==Past work== | ||
| + | |||
| + | * Hierarchical analyses of language | ||
| + | * Tolerance and opposition spaces | ||
| + | * Lexical and combinatory semantics | ||
| + | * Structural typology of languages | ||
| + | * Phonological trifles. | ||
| - | |||
| [[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.
