Identities in Two-Valued Calculi

DOI10.2307/1990703zbMath0044.00201OpenAlexW4236163974MaRDI QIDQ5806804

Roger C. Lyndon

Publication date: 1951

Full work available at URL: https://doi.org/10.2307/1990703

zbMATH Keywords

philosophy and foundations of mathematics

Related Items

Inherently nonfinitely based lattices, Bjarni Jónsson's contributions in algebra, Partial evaluation and \(\omega\)-completeness of algebraic specifications, Unnamed Item, Various varieties, The Equationally-Defined Commutator in Quasivarieties Generated by Two-Element Algebras, On the varieties generated by ai-semirings of order two., Universal algebraic methods for non-classical logics, Parallelizable algebras, A proof of Lyndon's finite basis theorem, A four-element algebra whose identities are not finitely based, Flat extensions of groups and limit varieties of additively idempotent semirings, Finite groupoids without finite bases for their identities, A variety generated by a finite algebra with \(2^{\aleph_0}\) subvarieties, Infinite chains of non-finitely based equational theories of finite algebras, Lyndon's groupoid is not inherently nonfinitely based, 2-element matrices, Skew lattices and binary operations on functions, On finite alphabets and infinite bases, Semigroups embeddable in hyperplane face monoids., Strongly finitely based equational theories, Unnamed Item, EVERY SHIFT AUTOMORPHISM VARIETY HAS AN INFINITE SUBDIRECTLY IRREDUCIBLE MEMBER, A field guide to equational logic, Quasi-equational bases for graphs of semigroups, monoids and groups., Algebraic properties of some quadratic dynamical systems, Finite basis problems and results for quasivarieties, The fine spectrum of a variety, A finite basis theorem for difference-term varieties with a finite residual bound, Finite equational bases for finite algebras in a congruence-distributive equational class, Equivalent transformations of formulas in \(P_2\)., Congruence-distributive polynomial reducts of lattices, Bases for equational theories of semi-groups, Key notions of Tarski's methodology of deductive systems, The lattice of semigroup varieties, THE VARIETY GENERATED BY AN AI-SEMIRING OF ORDER THREE, Application of bi-elemental Boolean algebra to electronic circuits, Nonfinitely based ai-semirings with finitely based semigroup reducts, The finite basis question for semigroups of order less than six, Quasiidentities of two-element algebras, Existence of finite total equivalence systems for certain closed classes of 3-valued logic functions, The max-plus algebra of the natural numbers has no finite equational basis

Cites Work

• Unnamed Item
• Identical relations in groups. I
• Gesetze in Ringen. I
• The representation of relational algebras
• A remark on functionally free algebras
• The Theory of Representation for Boolean Algebras
• Fragments of the propositional calculus
• Minimal Identities for Algebras
• The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
• Axiom schemes for m-valued propositions calculi