Login / Signup
Truth values algebras and proof normalization.
Gilles Dowek
Published in:
CoRR (2023)
Keyphrases
</>
truth values
inference rules
boolean logic
multi valued
fixpoint
theorem prover
lattice structure
preprocessing
linearly ordered
semantics of logic programs
temporal logic
model checking
first order logic
pattern matching
logic programs
machine learning
valued logic