Login / Signup

Nonclassical Truth with Classical strength. A Proof-Theoretic Analysis of Compositional Truth over Hype.

Martin FischerCarlo NicolaiPablo Dopico Fernandez
Published in: Rev. Symb. Log. (2023)
Keyphrases
  • theoretic analysis
  • truth values
  • valued logic
  • database
  • computer vision
  • evolutionary algorithm
  • fuzzy logic
  • theorem prover
  • receptive fields
  • proof theory