A complete minimal logic of the propositional contents of thought.
Marek NowakDaniel VandervekenPublished in: Stud Logica (1995)
Keyphrases
- propositional variables
- sound and complete axiomatization
- multi valued
- logic programming
- minimal models
- propositional logic
- linearly ordered
- probabilistic logic
- first order logic
- autoepistemic logic
- logical framework
- metadata
- modal logic
- belief revision
- deductive reasoning
- asynchronous circuits
- horn clauses
- general logic programs
- proof procedure
- theorem proving
- prime implicates
- truth maintenance systems
- proof theory
- logic programs
- truth values
- multi agent systems
- database
- multimedia
- classical first order logic