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

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

ISSN: 2300-9802,  1425-3305

Argitalpen urtea: 2014

Alea: 23

Zenbakia: 4

Orrialdeak: 371-390

Mota: Artikulua

DOI: 10.12775/LLP.2014.001 GOOGLE SCHOLAR

Objetivos de desarrollo sostenible

Datuen iturria: Scopus