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

Ano de publicación: 2014

Volume: 23

Número: 4

Páxinas: 371-390

Tipo: Artigo

DOI: 10.12775/LLP.2014.001 GOOGLE SCHOLAR

Objetivos de desarrollo sostenible

Fonte de datos: Scopus