Complex Multivalue Logic with Two Sequentially Connected Logic Structure.

Vassil Sgurev Lyubka Doukovska Stanislav Drangajov

Published in: IS (2022)

Keyphrases

logic programming
modal logic
multi valued
relational structures
predicate logic
complex data
automated reasoning
logical framework
classical logic
proof theory
neural network
knowledge base
high level
expert systems
deontic logic