Under Carnap's Lamp
On Revising Fuzzy Belief Bases
On Finite Models of the Lambek Calculus
Some Properties of Orthologics
A Proof System for Classical Logic
First Order Theories for Partial Models
Cardinality without Enumeration
REVIEL NETZ, The Shaping of Deduction in Greek Mathematics≔ A Study in Coginitive History