On an extended threshold logic as a unit cell of array logics.
Ryoichi MoriPublished in: AFIPS Fall Joint Computing Conference (1) (1972)
Keyphrases
- modal logic
- classical logic
- proof theory
- epistemic logic
- propositional dynamic logic
- propositional calculus
- intuitionistic logic
- nonmonotonic logics
- conditional logic
- expressive power
- proof theoretic
- proof procedures
- monadic second order logic
- decision procedures
- inference rules
- derivation rules
- higher order logic
- logic programming
- sequent calculi
- order sorted
- predicate logic
- computational properties
- knowledge representation formalisms
- modal operators
- multi agent systems
- dynamic logic
- temporal logic
- theorem prover
- propositional logic
- coalition logic
- default reasoning
- valued semantics
- autoepistemic logic
- truth values
- random access memory
- adaptive threshold
- threshold selection