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
∙
04/14/2022
Monadicity of Non-deterministic Logical Matrices is Undecidable
The notion of non-deterministic logical matrix (where connectives are in...
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
∙
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
∙
02/10/2021
Logics of involutive Stone algebras
An involutive Stone algebra (IS-algebra) is a structure that is simultan...
research
∙
02/10/2021
Finite axiomatizability of logics of distributive lattices with negation
This paper focuses on order-preserving logics defined from varieties of ...
research
∙
02/10/2021
An unexpected Boolean connective
We consider a 2-valued non-deterministic connective ∧-5.5pt ∨ defined by...
research
∙
05/23/2019
Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations
Our concern is the axiomatisation problem for modal and algebraic logics...
research
∙
10/13/2018