ML Anthology

The Logic FP(Ł,Ł) and Two-Sorted Equational States

Serafina Lapenta, Sebastiano Napolitano, Luca Spada
ISIPTA 2023 pp. 280-287
/isipta/2023/lapenta2023isipta-logic/

Abstract

The logic {FP(Ł,Ł)} was introduced by L. Godo and T. Flaminio as an expansion of Łukasiewicz logic with a modality, to reason about the probability of vague events. We prove that {FP(Ł,Ł)} is complete with respect to a class of two-sorted algebras, called equational states. They are an equational presentation of the well-known theory of states over lattice ordered groups.

PDF ISIPTA Semantic Scholar

Cite

Text

Lapenta et al. "The Logic FP(Ł,Ł) and Two-Sorted Equational States." Proceedings of the Thirteenth International Symposium on Imprecise Probability: Theories and Applications, 2023.

Markdown

[Lapenta et al. "The Logic FP(Ł,Ł) and Two-Sorted Equational States." Proceedings of the Thirteenth International Symposium on Imprecise Probability: Theories and Applications, 2023.](https://mlanthology.org/isipta/2023/lapenta2023isipta-logic/)

BibTeX

@inproceedings{lapenta2023isipta-logic,
  title     = {{The Logic FP(Ł,Ł) and Two-Sorted Equational States}},
  author    = {Lapenta, Serafina and Napolitano, Sebastiano and Spada, Luca},
  booktitle = {Proceedings of the Thirteenth International Symposium on Imprecise Probability: Theories and Applications},
  year      = {2023},
  pages     = {280-287},
  volume    = {215},
  url       = {https://mlanthology.org/isipta/2023/lapenta2023isipta-logic/}
}