Linearization of the BCK-logic

  1. García Olmedo, F.M.
  2. Rodríguez Salas, A.J.
Revista:
Studia Logica

ISSN: 1572-8730,  0039-3215

Año de publicación: 2000

Volumen: 65

Número: 1

Páginas: 31-51

Tipo: Artículo

DOI: 10.1023/A:1005290924926 GOOGLE SCHOLAR
Fuente de los datos: Scopus