research
∙
04/14/2022
Monadicity of Non-deterministic Logical Matrices is Undecidable
The notion of non-deterministic logical matrix (where connectives are in...
share
research
∙
02/04/2022
Modular many-valued semantics for combined logics
We obtain, for the first time, a modular many-valued semantics for combi...
research
∙
10/13/2018
Combining fragments of classical logic: When are interaction principles needed?
We investigate the combination of fragments of classical logic as a way ...
research
∙
03/13/2018