scientific article; zbMATH DE number 3961574
zbMATH Open0597.03006MaRDI QIDQ3728875FDOQ3728875
Authors: S. Yu. Maslov 
Publication date: 1986
Title of this publication is not available (Why is that?)
Recommendations
- scientific article; zbMATH DE number 4091459
- scientific article; zbMATH DE number 4053578
- A note on Prior's systems in ``The theory of deduction
- A deduction theorem schema for deductive systems of propositional logics
- scientific article; zbMATH DE number 4219086
- scientific article; zbMATH DE number 2144728
- scientific article; zbMATH DE number 3332420
- scientific article; zbMATH DE number 1028825
- scientific article; zbMATH DE number 1852923
- scientific article; zbMATH DE number 932649
algorithmseconomicsMinsky machinessciencechoiceproof searchinverse methoddeducibilitymodelling of biological evolutionPost systemshumanitiesdeductive informationprobabilistic calculi
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Social choice (91B14) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) General biology and biomathematics (92B05) Mechanization of proofs and logical operations (03B35) Thue and Post systems, etc. (03D03) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) General logic (03Bxx)
Cited In (5)
- Automatic synthesis of action programs for intelligent robots
- Unsolvable algorithmic problems for semigroups, groups and rings
- Finite approximatization of languages for representation of system properties: Axiomatization of dependencies
- Infinite-valued first-order Łukasiewicz logic: hypersequent calculi without structural rules and proof search for sentences in the prenex form
- Deciding the \(E^+\)-class by an a posteriori, liftable order
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3728875)
