A New Representation Theorem for Contranegative Deontic Logic
Light Affine Set Theory
Paradoxes in Double Extension Set Theories
An Institution-independent Proof of Craig Interpolation Theorem
Early Examples of Resource-Consciousness
Semantics for Analytic Containment
A Dual Characterization of Subdirectly Irreducible BAOs
Equivalents of Mingle and Positive Paradox
Subsystems of Second-Order Arithmetic
Quantum Logic
Frege
Agenda Relevance
Relation Algebras by Games
Deduction
Change, choice and inference. A study of belief revision and nonmonotonic reasoning