Axiomatizing S4+ and J+ without the suffixing, prefixing and self-distribution of the conditional axioms

  1. Robles, G.
  2. Méndez, J.M.
Aldizkaria:
Bulletin of the Section of Logic

ISSN: 0138-0680

Argitalpen urtea: 2010

Alea: 39

Zenbakia: 1-2

Orrialdeak: 79-91

Mota: Artikulua