Natural Deduction for Fitting’s Four-Valued Generalizations of Kleene’s Logics
Sign Up to like & getrecommendations! Published in 2017 at "Logica Universalis"
DOI: 10.1007/s11787-017-0169-0
Abstract: In this paper, we present sound and complete natural deduction systems for Fitting’s four-valued generalizations of Kleene’s three-valued regular logics. read more here.
Keywords: four valued; natural deduction; valued generalizations; fitting four ... See more keywords
Quantale-valued generalizations of approach spaces and quantale-valued topological spaces
Sign Up to like & getrecommendations! Published in 2019 at "Quaestiones Mathematicae"
DOI: 10.2989/16073606.2018.1516250
Abstract: Abstract We show that for certain quantales, the categories of quantale-valued gauge spaces and of quantale-valued approach system spaces are isomorphic to the category of quantale-valued bounded strong topological spaces. read more here.
Keywords: spaces quantale; generalizations approach; topological spaces; valued generalizations ... See more keywords