Gaggle Theory: An Abstraction of Galois Connections and Residuation with Applications to Negation, Implication, and Various Logical Operations

Analyzing the Core of Categorial Grammar

Journal of Logic, Language and Information

Logics for Classes of Boolean Monoids

Journal of Logic, Language and Information

Semantics for a basic relevant logic with intensional conjunction and disjunction (and some of its extensions)

Mathematical Structures in Computer Science

Optionality, Scope, and Licensing: An Application of Partially Ordered Categories

Journal of Logic, Language and Information

Algebraic Valuations as Behavioral Logical Matrices

WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation

Symmetries in natural language syntax and semantics: the Lambek-Grishin calculus

WoLLIC'07 Proceedings of the 14th international conference on Logic, language, information and computation

Lattice-Based relation algebras II

TARSKI'02-05 Proceedings of the 2006 international conference on Theory and Applications of Relational Structures as Knowledge Instruments - Volume 2

Towards a Behavioral Algebraic Theory of Logical Valuations

Fundamenta Informaticae - Logic, Language, Information and Computation