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

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

ISSN: 2300-9802,  1425-3305

Year of publication: 2014

Volume: 23

Issue: 4

Pages: 371-390

Type: Article

DOI: 10.12775/LLP.2014.001 GOOGLE SCHOLAR

Sustainable development goals

Data source: Scopus