Noetherian Gödel logics.

Juan P. Aguilera Jan Bydzovsky David Fernández-Duque

Published in: J. Log. Comput. (2022)

Keyphrases

valued logic
expressive power
modal logic
inference rules
classical logic
social bookmarking
epistemic logic
propositional dynamic logic
data sets
propositional calculus
proof theoretic
conditional logic
nonmonotonic logics
first order logic
fuzzy sets
data structure
machine learning