Author:
Citkin Alex,Muravitsky Alexei
Abstract
AbstractThis chapter discusses the effective decidability of problems related to finite logical matrices and finite atlases. Among these questions is the problem of the triviality of the logic of a given finite matrix, the problem of weak equivalence of two given finite matrices, and also the question of whether two given finite atlases determine the same consequence relation.
Publisher
Oxford University PressOxford