Semantical investigation of Arruda-da Costa P sytstems and of adjacent nonsubstitutional relevant systems

Bulletin of the Section of Logic, Tom 6, Numer 3 (1977)
F. R. Routley, Andrea Loparic