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.
![]()
in Russian