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

Logic and Logical Philosophy, Tom 23, Numer 4 (2014) s. 371-390
Gemma Robles

 

do góry