Секвенциальная аксиоматизация квазиминимальной логики.
Main Article Content
Abstract
A sequential axiom ctization fo r the set o f all form ulas which are dedusible in Sm irnov’s quasi-minimal calculus is presented.
Downloads
Download data is not yet available.
Article Details
How to Cite
Popov V. Секвенциальная аксиоматизация квазиминимальной логики. // Logicheskie Issledovaniya / Logical Investigations. 2000. VOL. 7. C. 128-131.
Issue
Section
Papers