Searched for: subject%3A%22algebraic%255C%2Bproof%255C%2Btheory%22
(1 - 3 of 3)
document
Greco, Giuseppe (author), Liang, Fei (author), Palmigiano, A. (author), Rivieccio, Umberto (author)
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...
journal article 2019
document
Tzimoulis, A. (author)
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...
doctoral thesis 2018
document
Liang, F. (author)
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...
doctoral thesis 2018