Experiments on the Acquisition of the Semantics and Grammatical Constructions Required for Communicating Propositional Logic Sentences.
Josefina SierraJosefina SantibáñezPublished in: Autonomics (2009)
Keyphrases
- propositional logic
- nonmonotonic logics
- possibilistic logic
- belief revision
- first order logic
- natural language
- valued logic
- minimal models
- quantified boolean formulae
- lattice theory
- phrase structure
- nonmonotonic reasoning
- formal semantics
- proof procedure
- propositional satisfiability
- logical theories
- truth maintenance systems
- propositional formulas
- horn logic
- logic programming