Institute of Philosophy SAS
Topic
Semantics and Proof-Theory of Non-Classical Logic
PhD. program
Year of admission
2026
Name of the supervisor
Matteo Pascucci, PhD.
Contact:
Receiving school
Univerzita Komenského v Bratislave
Annotation
PhD students working in this area are expected to use classical logic as a reference standard for comparison with non-classical frameworks (e.g., multivalued logics, sub-classical logics, or supra-classical logics). Research directions include assessing the range of possible uses of classical logic in representing concepts and domains of reasoning, and obtaining new technical results on the properties of classical logic.