Диадические семантики для систем формальной силлогистики.

##plugins.themes.bootstrap3.article.main##

V.M. Popov
I.I. Khorokhorin

Abstract

It was shown in [1] that there are any operations which embed into monadic first-order predicate calculus the Cl and C3 syllogistic systems constructed in [2]. This result excludes an opportunity to yield for Cl and C 3 set-theoretical semantics in a «canonical» way, i.e. to yield set-theoretical semantics based on embedding of related syllogistic system into monadic first-order predicate calculus. In paper proposed the set-theoretical semantics both for Cl, C3 and C2, C4 systems is «non-canonically» yielded.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

##plugins.themes.bootstrap3.article.details##

Section
Статьи

##plugins.generic.recommendByAuthor.heading##

1 2 3 > >>