research
∙
05/08/2023
Interpolation in Linear Logic and Related Systems
We prove that there are continuum-many axiomatic extensions of the full ...
research
∙
08/20/2022
Conic Idempotent Residuated Lattices
We give a structural decomposition of conic idempotent residuated lattic...
research
∙
09/11/2021
Mining counterexamples for wide-signature algebras with an Isabelle server
We propose an approach for searching for counterexamples of statements a...
research
∙
06/10/2021
Some modal and temporal translations of generalized basic logic
We introduce a family of modal expansions of Łukasiewicz logic that are ...
research
∙
12/02/2020