On One Modification of Semantic Tables. Nikolai N. Nepeivoda
Submitted by Admin on Mon, 2006-11-20 01:05.
Author: Nepejvoda N.
ILCSDP | Logic | Nepejvoda N.
Author: Nepejvoda N.
Author: Nikolai N. Nepeivoda
Abstract
In the paper we put forward the modification of semantic tables for classical logic technics for solving some semantic problems: equivocation problem, finite models consideration, minimal counter-models search and so on.
in Russian