1. (100%) The Church-Rosser property in dual combinatory logic - Bimbó, Katalin
Dual combinators emerge from the aim of assigning formulas containing $\leftarrow$ as types to combi ...
(application/pdf) - 19-sep-2008

2. (100%) The Church-Rosser property in symmetric combinatory logic - Bimbó, Katalin
Symmetic combinatory logic with the symmetric analogue of a combinatorially complete base (in the fo ...
(application/pdf) - 19-sep-2008

3. (70%) Four-valued Logic - Bimbó, Katalin; Dunn, J. Michael
Four-valued semantics proved useful in many contexts from relevance logics to reasoning about comput ...
(application/pdf) - 21-nov-2008

4. (70%) Relational Semantics for Kleene Logic and Action Logic - Bimbó, Katalin; Dunn, J.~Michael
Kleene algebras and action logic were proposed to be solutions to the finite axiomatization problem ...
(application/pdf) - 21-nov-2008