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

Any de publicació: 2014

Volum: 23

Número: 4

Pàgines: 371-390

Tipus: Article

DOI: 10.12775/LLP.2014.001 GOOGLE SCHOLAR

Objetivos de desarrollo sostenible

Font de les dades: Scopus