Search Results for author:
Found 2 papers, 0 papers with code
Simplified Kripke semantics for K45-like Godel modal logics and its axiomatic extensions
In this paper, we provide simplified semantics for the logic K45(G), i. e. the many-valued Godel counterpart of the classical modal logic K45.
Logics of formal inconsistency arising from systems of fuzzy logic
This paper proposes the meeting of fuzzy logic with paraconsistency in a very precise and foundational way.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
