A simple henkin-style completeness proof for Gödel 3-valued logic G3

  1. Robles, G.
Revista:
Logic and Logical Philosophy

ISSN: 2300-9802,  1425-3305

Año de publicación: 2014

Volumen: 23

Número: 4

Páginas: 371-390

Tipo: Artículo

DOI: 10.12775/LLP.2014.001 GOOGLE SCHOLAR

Objetivos de desarrollo sostenible