A constructive negation defined with a negation connective for logics including BP+

  1. Robles, G.
  2. Salto, F.
  3. Mendez, J.M.
Aldizkaria:
Bulletin of the Section of Logic

ISSN: 0138-0680

Argitalpen urtea: 2005

Alea: 34

Zenbakia: 3

Orrialdeak: 177-189

Mota: Artikulua

GOOGLE SCHOLAR
Datuen iturria: Scopus