scientific article; zbMATH DE number 3269003
From MaRDI portal
Publication:5553251
zbMath0168.00301MaRDI QIDQ5553251
Publication date: 1966
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Gödel's incompleteness theorem, Tractability through symmetries in propositional calculus, Uniform Gentzen systems, CONCLUSIVENESS OF NATURAL LANGUAGES AND RECOGNITION OF IMAGES, Map theory, Free fuzzy groups and fuzzy group presentations, Multigroups, Multigroups, Rational choice and polynomial measurement models, Some model theory for monotone quantifiers, Recent progress to formal approach of pattern recognition and scene analysis, Information storage and retrieval systems: Mathematical foundations, A study of Kripke-type models for some modal logics by Gentzen's sequential method, The logic of inexact concepts, Relation algebras and function semigroups, Logical foundation approach to users' domain restriction in data bases, Retrieval models in on-line documentary information systems: An analytic review, Saturation, nonmonotonic reasoning and the closed-world assumption, Semantic alternatives in partial Boolean quantum logic, Complex structures and composite models - An essay on methodology
