Формальная i пропозициональная логика А. Виссера и ее расширения.

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

A.V. Chagrov

Abstract

Extensions o f formal propositional logic by A. Visser (1980) are discusecl. There is a continuum o f such logics which are axiomatized by onevariables formulas. There is an extension o f formal propositional logic which is closed under modus ponens , is o f width 2, but is not Kripke-complete.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

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

Section
Статьи

References

Suzuki Y., Wolter F., and Zakhary>aschev M. Speaking about transitive frames in propositional languages // Journal o f Logic, Language, and Information. 1998. Vol. 7. P. 317-339.

Visser A. A propositional logic with explicit fixed points // Studia Logica. 1981. Vol. 40. P. 155-175.

##plugins.generic.recommendByAuthor.heading##

1 2 > >>