Login / Signup
Nonclassical truth with classical strength. A proof-theoretic analysis of compositional truth over HYPE.
Martin Fischer
Carlo Nicolai
Pablo Dopico Fernandez
Published in:
CoRR (2020)
Keyphrases
</>
theoretic analysis
data sets
truth values
real time
databases
neural network
genetic algorithm
search engine
probabilistic model
data points
linear logic
valued logic