scientific article; zbMATH DE number 3961574
algorithmschoicededucibilitydeductive informationeconomicshumanitiesinverse methodMinsky machinesmodelling of biological evolutionPost systemsprobabilistic calculiproof searchscience
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Mechanization of proofs and logical operations (03B35) General logic (03Bxx) Thue and Post systems, etc. (03D03) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Social choice (91B14) General biology and biomathematics (92B05)
- 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
- Unsolvable algorithmic problems for semigroups, groups and rings
- Finite approximatization of languages for representation of system properties: Axiomatization of dependencies
- Deciding the E^+-class by an a posteriori, liftable order
- Automatic synthesis of action programs for intelligent robots
- Infinite-valued first-order Łukasiewicz logic: hypersequent calculi without structural rules and proof search for sentences in the prenex form
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)
