scientific article; zbMATH DE number 3196257
From MaRDI portal
zbMath0121.25402MaRDI QIDQ5732648
Publication date: 1961
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Formalizing first-order logic in the equational theory of 3-dimensional diagonal-free cylindric algebras, A simplified formalization of predicate logic with identity, Nonfinitizability of classes of representable cylindric algebras, Leon Henkin and Cylindric Algebras, Leon Henkin the Reviewer, Primitive iteration and unary functions, Complexity of equations valid in algebras of relations. I: Strong non-finitizability, Same same but different: an alphabetically innocent compositional predicate logic, A confluent calculus for concurrent constraint programming, Computable stack functions for semantics of stack programs, Quantum cylindric set algebras, Non-finite-axiomatizability results in algebraic logic, Quantifiers as modal operators, Sequence recursiveness without cylindrification and limited register machines, Relation algebras of Sugihara, Belnap, Meyer, and Church, Generalized sketches as a framework for completeness theorems. I-III, Visions of Henkin, On a generalized cylindrical algebra and intuitionistic logic, On logical systems with implications and theories of algebras, The axiomatic system of the factorial implication, Undecidability of the homogeneous formulas of degree 3 of the predicate calculus, A cylindrical algebra based on the Boolean ring, Finite equational bases for finite algebras in a congruence-distributive equational class, Some sufficient conditions for the representability of relation algebras, Su una classe equazionale di algebre, Relation algebras and function semigroups, Key notions of Tarski's methodology of deductive systems, Representable cylindric algebras, The relational model of data and cylindric algebras, Leon Henkin, Notions of density that imply representability in algebraic logic, On the algebra of classes of formulae of Jaskowski's discussive system, Boolean combinations of monadic formulas, Models and emerging trends of concurrent constraint programming, A portrait of Alfred Tarski, Substitutionless predicate logic with identity
