|
|||||
|
|
On axiomatization of many-valued logics associated with formalization of plausible reasonings |
|
| Authors: | O. M. Anshakov V. K. Finn D. P. Skvortsov |
| Affiliation: | (1) VINITI, Moscow, USSR |
| Abstract: | This paper studies a class of infinite-valued predicate logics. A sufficient condition for axiomatizability of logics from that class is given.To the memory of Jerzy S upecki |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |