Preface: Scope of Logic Theorems In Memoriam Adolf Lindenbaum.
Jean-Yves BéziauPublished in: Logica Universalis (2014)
Keyphrases
- cut elimination
- sequent calculus
- classical logic
- proof search
- multi valued
- international workshop
- workshop on data mining
- computational properties
- inference rules
- predicate logic
- natural deduction
- genetic algorithm
- neural network
- probability theory
- logic programming
- bayesian networks
- abductive reasoning
- deontic logic
- linear logic
- artificial intelligence
- real time