Research projects

Opiekun:

Larch – studencki projekt poświęcony konstrukcji platformy do ułatwienia nauki logiki

Wykonawca:

Distributive Deductive Systems for Classical and Non-classical Logics. Proof theory supported with computational methods

Aksjomaty ekstremalne: aspekty logiczne, matematyczne i kognitywne

Erotetic logic in the modeling of ultimate and distributed question processing. Theoretical foundations and applications