Login / Signup
An Implicative Expansion of Belnap's Four-Valued Matrix: A Modal Four-Valued Logic Without Strong Modal Lukasiewicz-Type Paradoxes.
José Miguel Blanco
Published in:
Bull. Symb. Log. (2020)
Keyphrases
</>
modal logic
valued logic
classical logic
inference rules
truth values
temporal logic
nonmonotonic logics
fuzzy logic
propositional logic
fuzzy sets
first order logic
pattern recognition
high level
special case
logic programs
automated reasoning