Publication:3819038

zbMath0667.03004MaRDI QIDQ3819038

S. Yu. Maslov

Publication date: 1987

zbMATH Keywords

algorithms; choice; inverse method; economics; proof search; Minsky machines; science; deducibility; modelling of biological evolution; Post systems; humanities; deductive information; probabilistic calculi

Mathematics Subject Classification ID

03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations

03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations

03B35: Mechanization of proofs and logical operations

68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)

91B14: Social choice

92B05: General biology and biomathematics

03D03: Thue and Post systems, etc.

03Bxx: General logic

Related Items

Proof-terms for classical and intuitionistic resolution, A bright side of NP-hardness of interval computations: Interval heuristics applied to NP-problems