Login / Signup
Note about Łukasiewicz's theorem concerning the system of axioms of the implicational propositional calculus.
Boleslaw Sobocinski
Published in:
Notre Dame J. Formal Log. (1978)
Keyphrases
</>
propositional calculus
knowledge base
von neumann
onset detection
data sets
image sequences
multi agent systems
first order logic
real time
databases
clustering algorithm
relational databases
complete axiomatization