research
∙
09/13/2023
Adding an Implication to Logics of Perfect Paradefinite Algebras
Perfect paradefinite algebras are De Morgan algebras expanded with a per...
share
research
∙
05/18/2022
Finite two-dimensional proof systems for non-finitely axiomatizable logics
The characterizing properties of a proof-theoretical presentation of a g...
research
∙
07/18/2021
Proof Search on Bilateralist Judgments over Non-deterministic Semantics
The bilateralist approach to logical consequence maintains that judgment...
research
∙
06/18/2021