Your institution may have access to this item. Find your institution then sign in to continue.
Title
Exhaustively Axiomatizing S3<sup>°</sup>→ and S4<sup>°</sup>→.
Authors
Robles, Gemma; Salto, Francisco; Méndez, José M.
Abstract
S3°→ and S4°→ are the restrictions with the Converse Ackermann Property of the implicative fragments of Lewis' S3 (S3→) and S4 (S4→) respectively. The aim of this paper is to provide all possible axiomatizations with independent axioms of S3°→ and S4°→ that can be formulated with a modification of Anderson and Belnap's "strong and natural list of valid entailments."