Logic of informal provability with truth values.

Pawel Pawlowski Rafal Urbaniak

Published in: Log. J. IGPL (2023)

Keyphrases

truth values
boolean logic
multi valued
inference rules
fixpoint
lattice structure
valued logic
modal logic
relational databases
probabilistic model
expert systems
sql queries