Routley-Meyer Ternary Relational Semantics for Intuitionistic-type Negations

Gemma Robles is a researcher at the Department of Psychology, Sociology, and Philosophy at the Universidad de León. Since 2011, she has published more than 50 papers on non-classical logics in impact journals. José M. Méndez is a Professor of Logic at the Universidad de Salamanca. His research interests include philosophical logic focusing on modal logics, multivalued logics, and relevance logics.

• PART I. Models with Set of Designated Points1. The basic logic Bc and its semantics2. Completeness of Bc3. Extensions of BcPART II. Models without a Set of Designated Points4. The logic BK5. Extensions of BKPART III. Formulations by Means of a Falsity Constant6. The logics B+,F and BK+,F7. Definitional equivalencePART IV. Relevance and Intuitionistic-Type Negations8. The logic RBc and its extensions9. The logic RB+,t,F and its extensions

"The authors present an overarching inquiry into modeling negation in the context of the Routley-Meyer semantics based on the idea that there is a connection between implication and negation. The book will be of interest to logicians who are interested in non-classical logics together with interpretations for these logics." --Mathematical Reviews Clippings