Login / Signup

An Expressivist Bilateral Meaning-is-Use Analysis of Classical Propositional Logic.

John Cantwell
Published in: J. Log. Lang. Inf. (2015)
Keyphrases
  • propositional logic
  • belief revision
  • machine learning
  • first order logic
  • horn logic
  • data mining
  • lattice theory
  • natural language
  • domain knowledge