MathDB1 problem
- 0 votes0 replies1 view
Parametricity of Sahlqvist and inductive formulas in many-valued semantics
The paper considers graph-based and polarity-based semantics for LE-logics, together with their many-valued generalizations, and observes that the semantic level is determined by p…