Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

On functionally complete modal algebras related to M and S4

On functionally complete modal algebras related to M and S4 DEMONSTRATIO MATHEMATICAVol. XVINo 21983D. Schweigert, M. SzymanskaON FUNCTIONALLY COMPLETE MODAL ALGEBRASRELATED TO M AND S4The f i n i t e simple modal a l g e b r a s are f u n c t i o n a l l y complet e , a property which they have common with the two elementBoolean a l g e b r a . Hence there are s u b l o g i c s of M and of S 4 ,where every proposition corresponds to a polynomial f u n c t i o nof a modal a l g e b r a. Vice v e r s a every f u n c t i o n of Bcorresponds to a proposition which may c o n t a i n constant symb o l s . We c h a r a c t e r i z e the f u n c t i o n a l l y complete a l g e b r a bya f i x p o i n t property.1 . MotionsD e f i n i t i o n1.1.i s c http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Demonstratio Mathematica de Gruyter

On functionally complete modal algebras related to M and S4

Schweigert, D.; Szymańska, M.
Demonstratio Mathematica , Volume 16 (2): 6 – Apr 1, 1983
Download PDF
6 pages

Loading next page...
 
/lp/de-gruyter/on-functionally-complete-modal-algebras-related-to-m-and-s4-LNY8rAbFzT

References

References for this paper are not available at this time. We will be adding them shortly, thank you for your patience.

Publisher
de Gruyter
Copyright
© by D. Schweigert
ISSN
0420-1213
eISSN
2391-4661
DOI
10.1515/dema-1983-0206
Publisher site
See Article on Publisher Site

Abstract

DEMONSTRATIO MATHEMATICAVol. XVINo 21983D. Schweigert, M. SzymanskaON FUNCTIONALLY COMPLETE MODAL ALGEBRASRELATED TO M AND S4The f i n i t e simple modal a l g e b r a s are f u n c t i o n a l l y complet e , a property which they have common with the two elementBoolean a l g e b r a . Hence there are s u b l o g i c s of M and of S 4 ,where every proposition corresponds to a polynomial f u n c t i o nof a modal a l g e b r a. Vice v e r s a every f u n c t i o n of Bcorresponds to a proposition which may c o n t a i n constant symb o l s . We c h a r a c t e r i z e the f u n c t i o n a l l y complete a l g e b r a bya f i x p o i n t property.1 . MotionsD e f i n i t i o n1.1.i s c

Journal

Demonstratio Mathematica – de Gruyter

Published: Apr 1, 1983

There are no references for this article.