equational completenessminimal quasivarietyalgebraic properties of 2-element algebrasaxiomatization problems for finite algebras and matricesexplicit axiomatizations of 2- valued consequences with equalitylattice of structural consequencesmatrix free characterization of 2-valued consequencesPost's classificationpropositional consequence with equalityStone-propertystrong finite axiomatizability of all 2-valued matrices
Cites work
- scientific article; zbMATH DE number 3150809 (Why is no real title available?)
- scientific article; zbMATH DE number 3659563 (Why is no real title available?)
- scientific article; zbMATH DE number 3636002 (Why is no real title available?)
- A finite algebra A with SP(A) not elementary
- A proof of Lyndon's finite basis theorem
- Algebras Whose Congruence Lattices are Distributive.
- Algebras with minimal spectrum
- Completeness of calculii for axiomatically defined classes of algebras
- Congruence-distributive polynomial reducts of lattices
- Ein Verfahren Zur Axiomatisierung Der Kontradiktionen Gewisser Zweiwertiger Aussagenkalküle
- Fragments of the propositional calculus
- Identities in Two-Valued Calculi
- Matrix approach in methodology of sentential calculi
- Matrix representations for structural strengthenings of a propositional logic
- The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
- The fine spectrum of a variety
- Varieties generated by para primal algebras
Cited in
(26)- Implication, Equivalence, and Negation
- Algebraic logic for classical conjunction and disjunction
- Parallelizable algebras
- Investigations into a left-structural right-substructural sequent calculus
- A calculus for the common rules of \(\wedge\) and \(\vee\)
- The logic of algebraic rules as a generalization of equational logic
- Logics of order and related notions
- Three-element nonfinitely axiomatizable matrices
- An unexpected Boolean connective
- Axiomatization of semigroup consequences
- Combining fragments of classical logic: when are interaction principles needed?
- Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra
- On reduced matrices
- Key notions of Tarski's methodology of deductive systems
- On finitely based groups and nonfinitely based quasivarieties
- Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics
- Quasi-identities of finite semigroups and symbolic dynamics
- European Summer Meeting of the Association for Symbolic Logic
- Axiomatizing non-deterministic many-valued generalized consequence relations
- Gentzen-style axiomatizations in equational logic
- On the logic of distributive nearlattices
- Finite two-dimensional proof systems for non-finitely axiomatizable logics
- Quasi-equational bases for graphs of semigroups, monoids and groups.
- Three-element non-finitely axiomatizable matrices and term-equivalence
- Singulary extensional connectives: A closer look
- Juxtaposition: a new way to combine logics
This page was built for publication: 2-element matrices
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1168307)
