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
∙
03/09/2023
Proceedings 11th International Workshop on Theorem Proving Components for Educational Software
The ThEdu series pursues the smooth transition from an intuitive way of ...
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
∙
02/02/2022
Proceedings 10th International Workshop on Theorem Proving Components for Educational Software
This EPTCS volume contains the proceedings of the ThEdu'21 workshop, pro...
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
On Logics of Perfect Paradefinite Algebras
The present study shows how any De Morgan algebra may be enriched by a '...
research
∙
10/28/2020
Proceedings 9th International Workshop on Theorem Proving Components for Educational Software
The 9th International Workshop on Theorem-Proving Components for Educati...
research
∙
02/27/2020
Proceedings 8th International Workshop on Theorem Proving Components for Educational Software
This EPTCS volume contains the proceedings of the ThEdu'19 workshop, pro...
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
