Affiliation:
1. The Saul Kripke Center, The Graduate Center, CUNY, Room 7118, 365 Fifth Ave., New York, NY 10016, USA
Abstract
Abstract
In this article, I consider the positive logic of Boolean groups (i.e. Abelian groups where every non-identity element has order 2), where these are taken as frames for an operational semantics à la Urquhart. I call this logic BG. It is shown that the logic over the smallest nontrivial Boolean group, taken as a frame, is identical to the positive fragment of a quasi-relevance logic that was developed by Robles and Méndez (an extension of this result where negation is included is also discussed). It is proved that BG satisfies the variable sharing property and is Halldén complete, while failing to satisfy the disjunction property. Sound and complete subscripted tableaux are presented for BG. An axiomatization (in the positive language extended with fusion) is presented, which is sound with respect to BG and, with respect to a related ternary relational semantics, complete; the problem of identifying a complete axiomatization for BG itself is left open. Connections between BG and the quasi-relevance logic KR are also discussed.
Publisher
Oxford University Press (OUP)
Reference31 articles.
1. Metavaluations;Brady;Bulletin of Symbolic Logic,2017
2. Comparative logics and Abelian l-groups;Casari,1989
3. Relevance logic;Dunn,2002