Identities in Two-Valued Calculi
From MaRDI portal
Cites work
- A remark on functionally free algebras
- Axiom schemes for m-valued propositions calculi
- Fragments of the propositional calculus
- Gesetze in Ringen. I
- scientific article; zbMATH DE number 3019695 (Why is no real title available?)
- Identical relations in groups. I
- Minimal Identities for Algebras
- The representation of relational algebras
- The Theory of Representation for Boolean Algebras
- The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
Cited in
(44)- Partial evaluation and \(\omega\)-completeness of algebraic specifications
- A proof of Lyndon's finite basis theorem
- A four-element algebra whose identities are not finitely based
- 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
- 2-element matrices
- Strongly finitely based equational theories
- A field guide to equational logic
- The fine spectrum of a variety
- Finite equational bases for finite algebras in a congruence-distributive equational class
- Congruence-distributive polynomial reducts of lattices
- Bjarni Jónsson's contributions in algebra
- Inherently nonfinitely based lattices
- Finite basis problems and results for quasivarieties
- Key notions of Tarski's methodology of deductive systems
- The max-plus algebra of the natural numbers has no finite equational basis
- Nonfinitely based ai-semirings with finitely based semigroup reducts
- Existence of finite total equivalence systems for certain closed classes of 3-valued logic functions
- Skew lattices and binary operations on functions
- Algebraic properties of some quadratic dynamical systems
- Equivalent transformations of formulas in \(P_2\).
- Bases for equational theories of semi-groups
- The lattice of semigroup varieties
- Flat extensions of groups and limit varieties of additively idempotent semirings
- A finite basis theorem for difference-term varieties with a finite residual bound
- Various varieties
- Every shift automorphism variety has an infinite subdirectly irreducible member
- Parallelizable algebras
- scientific article; zbMATH DE number 4108844 (Why is no real title available?)
- scientific article; zbMATH DE number 1513318 (Why is no real title available?)
- The Equationally-Defined Commutator in Quasivarieties Generated by Two-Element Algebras
- Semigroups embeddable in hyperplane face monoids.
- The variety generated by an ai-semiring of order three
- Quasi-equational bases for graphs of semigroups, monoids and groups.
- Universal algebraic methods for non-classical logics
- Flexible constraint satisfiability and a problem in semigroup theory
- On the variety generated by all semirings of order two
- Application of bi-elemental Boolean algebra to electronic circuits
- The finite basis question for semigroups of order less than six
- Quasiidentities of two-element algebras
- On the varieties generated by ai-semirings of order two.
- Lyndon's groupoid is not inherently nonfinitely based
- On finite alphabets and infinite bases
This page was built for publication: Identities in Two-Valued Calculi
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5806804)
