Extending maps to profinite completions in finitely generated quasivarieties (Q2204385)
From MaRDI portal
scientific article; zbMATH DE number 6182007
- Extending Łukasiewicz logics with a modality: algebraic approach to relational semantics
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Extending maps to profinite completions in finitely generated quasivarieties |
scientific article; zbMATH DE number 6182007 |
|
Statements
Extending maps to profinite completions in finitely generated quasivarieties (English)
0 references
Extending Łukasiewicz logics with a modality: algebraic approach to relational semantics (English)
0 references
15 October 2020
0 references
27 June 2013
0 references
profinite completions
0 references
natural dualities
0 references
natural extensions
0 references
canonical extensions
0 references
modal logic
0 references
many-valued logic
0 references
Kripke semantic
0 references
relational semantic
0 references
canonical model
0 references
MV-algebras
0 references
0 references
0 references
