scientific article; zbMATH DE number 3269003

zbMath0168.00301MaRDI QIDQ5553251

Roger C. Lyndon

Publication date: 1966

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

general logic

Related Items (20)

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

This page was built for publication: