Showing math.LOShow all
2 papers · 1 filter
math.LO2020
Axiomatization of crisp Godel modal logic
Ricardo Oscar Rodriguez, Amanda Vidal Wandelmer
In this paper we consider the modal logic with both Box and Diamond arising fromKripke models with a crisp accessibility and whose propositions are valued over the stan-dard Godel…
math.LO2019
Truth-preservation under fuzzy pp-formulas
Pilar Dellunde, Amanda Vidal
How can non-classical logic contribute to the analysis of complexity in computer science? In this paper, we give a step towards this question, taking a logical model-theoretic appr…