Algorithm of the Three-Valued Isomorphs of Classical Logic Search. Vladimir E. Komendantsky

Submitted by Admin on Thu, 2006-11-23 18:49.
Author: Komendantsky V.

Vladimir E. Komendantsky
Algorithm of the Three-Valued Isomorphs of Classical Logic Search
Abstract
In the paper we adduce some known isomorphs of classical propositional logic, we define a notion of 'normal isomorph' and set out a fragment of the isomorphs search programm on the set of three-valued Post logics.
Download
in Russian

| |