Logical consequence, reasoning and computation (logcons) and sistemics, self-organ...
Research proposal logical consequence and combinations of logics: fundaments and e...
StruQT - Deploying Structured light for Quantum Technologies
Multi-user equipment approved in grant 2024/08450-0: D281-SNSPD: system of superco...
Computing logical consequence in Lukasiewicz infinitely-valued logic