dc.contributor.author | Rachůnek, Jiří | |
dc.contributor.author | Šalounová, Dana | |
dc.date.accessioned | 2008-07-23T07:38:23Z | |
dc.date.available | 2008-07-23T07:38:23Z | |
dc.date.issued | 2008 | |
dc.identifier.citation | Archive for Mathematical Logic. 2008, vol. 47, no. 3, p. 277-297. | en |
dc.identifier.issn | 0933-5846 | |
dc.identifier.issn | 1432-0665 | |
dc.identifier.uri | http://hdl.handle.net/10084/65996 | |
dc.description.abstract | Monadic MV-algebras are an algebraic model of the predicate calculus of the Łukasiewicz infinite valued logic in which only a single individual variable occurs. GMV-algebras are a non-commutative generalization of MV-algebras and are an algebraic counterpart of the non-commutative Łukasiewicz infinite valued logic. We introduce monadic GMV-algebras and describe their connections to certain couples of GMV-algebras and to left adjoint mappings of canonical embeddings of GMV-algebras. Furthermore, functional MGMV-algebras are studied and polyadic GMV-algebras are introduced and discussed. | en |
dc.format.extent | 990613 bytes | cs |
dc.format.mimetype | application/pdf | cs |
dc.language.iso | en | en |
dc.publisher | Springer | en |
dc.relation.ispartofseries | Archive for Mathematical Logic | en |
dc.relation.uri | http://dx.doi.org/10.1007/s00153-008-0086-2 | en |
dc.subject | MV-algebra | en |
dc.subject | GMV-algebra | en |
dc.subject | monadic MV-algebra | en |
dc.subject | monadic GMV-algebra | en |
dc.subject | quantifier | en |
dc.subject | left adjoint mapping | en |
dc.subject | polyadic GMV-algebra | en |
dc.title | Monadic GMV-algebras | en |
dc.type | article | en |
dc.identifier.location | Není ve fondu ÚK | en |
dc.identifier.doi | 10.1007/s00153-008-0086-2 | |
dc.rights.access | openAccess | |
dc.type.version | submittedVersion | en |
dc.identifier.wos | 000257200700008 | |