Exhaustively axiomatizing S3º and S4º

Referencias bibliográficas

• ANDERSON, A.R., and BELNAP, N.D. JR. (1975), Entailment: The logic of Relevance and Necessity, vol. I, Princeton, Princeton University Press,
• HACKING, I. (1963), "What is strict implication?", Journal of Symbolic Logic, 28, pp. 51-71
• KAMIDE, N. (2002), "A canonical model construction for substructural logics with strong negation", Reports on Mathematical Logic, 36, pp. 95-116
• MÉNDEZ, J. M. (1987), "Axiomatizing E → and R→ with Anderson and Belnap's "strong and natural list of valid entailments"", Bulletin of the Section of Logic, 16, pp. 2-10
• MÉNDEZ, J. M. (1987a), "A Routley-Meyer semantics for Converse Ackermann Property", Journal of Philosophical Logic, 16, pp. 65-76
• MÉNDEZ, J. M. (1988), "Exhaustively axiomatizing S3→ and S4 → with a select list of representative theses", Bulletin of the Section of Logic, 17, pp. 15-22
• MÉNDEZ, J. M. (1988), "Converse Ackermann Property and semiclassical negation", Studia Logica, 47, pp. 159-168
• ROBLES, G. and MÉNDEZ, J.M. (2002), "Exhaustively axiomatizing E→0 and R→0 ", Online Logical Studies, 9, pp. 1-10
• SALTO, F., ROBLES, G. and MÉNDEZ, J. M. (1999), "Exhaustively axiomatizing RMO→ with a select list of representative theses", Bulletin of the Section of Logic, pp. 195-206
• SALTO, F., ROBLES, G. and MÉNDEZ, J. M. (2001), "Exhaustively axiomatizing EMO →", Online Logical Studies, 7, pp. 1-6