Секвенциальные аксиоматизации пропозициональных логик нельсоновского типа
Published in Logical Investigations • Apr 10, 2011
NobleIDNI3P43W39R53S37
Authors:
В.М. Попов
Abstract
Представлены секвенциальные системы, аксиоматизирующие четыре логики типа Нельсона.
Subject
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!