Publication:3684104

zbMath0568.03008MaRDI QIDQ3684104

S. Yu. Maslov

Publication date: 1983

zbMATH Keywords

architecture; propositional formulas; brain; biology; deductive systems; conjunctive normal form; Post systems; cognition theory

Mathematics Subject Classification ID

03A05: Philosophical and critical aspects of logic and foundations

03B35: Mechanization of proofs and logical operations

03D15: Complexity of computation (including implicit computational complexity)

03B05: Classical propositional logic