1. Natural 3-valued logics—characterization and proof theory;Avron;J. Symbolic Logic,1991
2. Simple consequence relations;Avron;Inform. and Comput.,1991
3. Paraconsistent extensional propositional logics;Batens;Logique et Anal.,1980
4. The priority of definition and the Socratic elenchos;Benson;Oxford Stud. Ancient Philos.,1990
5. Kripke semantics for anti-intuitionistic logics, abstract;Brunner;Bull. Symbolic Logic,2002