Login / Signup
Proof Systems for 3-valued Logics Based on Gödel's Implication.
Arnon Avron
Published in:
Log. J. IGPL (2022)
Keyphrases
</>
high level
valued logic
neural network
machine learning
general purpose
complete axiomatization