Algebraic and Proof-Theoretic Foundations of the Logics for Social Behaviour

This thesis is part of a line of research aimed at providing a strong and modular mathematical backbone to a wide and inherently diverse class of logics, introduced to capture different facets of social behaviour. The contributions of this thesis are rooted methodologically in duality, algebraic logic and structural proof theory, pertain to and...

Multi-Type Algebraic Proof Theory

This dissertation pertains to algebraic proof theory, a research field aimed at solving problems in structural proof theory using results and insights from algebraic logic, universal algebra, duality and representation theory for classes of algebras. The main contributions of this dissertation involve the very recent theory of multi-type calculi...

Bilattice logic properly displayed

We introduce a proper multi-type display calculus for bilattice logic (with conflation) for which we prove soundness, completeness, conservativity, standard subformula property and cut elimination. Our proposal builds on the product representation of bilattices and applies the guidelines of the multi-type methodology in the design of display...