Polyadic tense \(\theta\)-valued Łukasiewicz-Moisil algebras (Q1933793)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Polyadic tense \(\theta\)-valued Łukasiewicz-Moisil algebras |
scientific article; zbMATH DE number 6130877
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Polyadic tense \(\theta\)-valued Łukasiewicz-Moisil algebras |
scientific article; zbMATH DE number 6130877 |
Statements
Polyadic tense \(\theta\)-valued Łukasiewicz-Moisil algebras (English)
0 references
25 January 2013
0 references
In the paper a representation theorem for polyadic tense \(\mathrm{LM}_\theta\)-algebras is proven. A similar result exists for the propositional case, due to the author, too. The representation theorem proven here generalizes this theorem for an algebraization of predicate logic. The result is closely related to tense predicate Moisil logic.
0 references
Moisil logic
0 references
polyadic algebras
0 references
tense algebras
0 references
