PL EN


Preferences help
enabled [disable] Abstract
Number of results
2014 | 49 |
Article title

HILBERT ALGEBRAS WITH A NECESSITY MODAL OPERATOR

Content
Title variants
Languages of publication
PL
Abstracts
PL
We introduce the variety of Hilbert algebras with a modal operator , called H-algebras. The variety of H-algebras is the algebraic counterpart of the f!;g-fragment of the intuitionitic modal logic IntK. We will study the theory of representation and we will give a topological duality for the variety of H-algebras. We are going to use these results to prove that the basic implicative modal logic IntK! and some axiomatic extensions are canonical. We shall also to determine the simple and subdirectly irreducible algebras in some subvarieties of H-algebras.
Keywords
PL
 
Publisher
Year
Volume
49
Physical description
Dates
published
2014
online
07 - 07 - 2015
Contributors
References
Document Type
Publication order reference
Identifiers
YADDA identifier
bwmeta1.element.ojs-issn-2084-2589-year-2014-volume-49-article-2920
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.