Cargando…
Smart Sensorization Using Propositional Dynamic Logic
The current high energy prices pose a serious challenge, especially in the domestic economy. In this respect, one of the main problems is obtaining domestic hot water. For this reason, this article develops a heating system applied to a conventional water tank in such a way as to minimize the necess...
Autores principales: | Merino, Salvador, Burrieza, Alfredo, Guzman, Francisco, Martinez, Javier |
---|---|
Formato: | Online Artículo Texto |
Lenguaje: | English |
Publicado: |
MDPI
2022
|
Materias: | |
Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC9146776/ https://www.ncbi.nlm.nih.gov/pubmed/35632307 http://dx.doi.org/10.3390/s22103899 |
Ejemplares similares
-
Completeness Theory for Propositional Logics
por: Pogorzelski, Witold A, et al.
Publicado: (2008) -
Gentzen Calculi for Modal Propositional Logic
por: Poggiolesi, Francesca
Publicado: (2011) -
Meaning and proscription in formal logic: variations on the propositional logic of William T. Parry
por: Ferguson, Thomas Macaulay
Publicado: (2017) -
Bounded arithmetic, propositional logic and complexity theory
por: Krajicek, Jan
Publicado: (1995) -
People Like Logical Truth: Testing the Intuitive Detection of Logical Value in Basic Propositions
por: Nakamura, Hiroko, et al.
Publicado: (2016)