2-element matrices

DOI10.1007/BF00401653zbMath0493.03006MaRDI QIDQ1168307

Wolfgang Rautenberg

Publication date: 1981

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

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

Mathematics Subject Classification ID

Algebraic logic (03G99) Equational classes, universal algebra in model theory (03C05) General logic (03B99)

Related Items (26)

Three-element nonfinitely axiomatizable matrices ⋮ Implication, Equivalence, and Negation ⋮ European Summer Meeting of the Association for Symbolic Logic ⋮ Gentzen-style axiomatizations in equational logic ⋮ Singulary extensional connectives: A closer look ⋮ Quasi-identities of finite semigroups and symbolic dynamics ⋮ An unexpected Boolean connective ⋮ JUXTAPOSITION: A NEW WAY TO COMBINE LOGICS ⋮ Axiomatizing non-deterministic many-valued generalized consequence relations ⋮ On the logic of distributive nearlattices ⋮ Parallelizable algebras ⋮ A calculus for the common rules of \(\wedge\) and \(\vee\) ⋮ Three-element non-finitely axiomatizable matrices and term-equivalence ⋮ Algebraic logic for classical conjunction and disjunction ⋮ Quasi-equational bases for graphs of semigroups, monoids and groups. ⋮ On reduced matrices ⋮ Investigations into a left-structural right-substructural sequent calculus ⋮ Axiomatization of semigroup consequences ⋮ On finitely based groups and nonfinitely based quasivarieties ⋮ Key notions of Tarski's methodology of deductive systems ⋮ Combining fragments of classical logic: when are interaction principles needed? ⋮ Finite two-dimensional proof systems for non-finitely axiomatizable logics ⋮ Logics of order and related notions ⋮ The logic of algebraic rules as a generalization of equational logic ⋮ Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics ⋮ Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Matrix representations for structural strengthenings of a propositional logic
• Varieties generated by para primal algebras
• Algebras with minimal spectrum
• A proof of Lyndon's finite basis theorem
• Matrix approach in methodology of sentential calculi
• The fine spectrum of a variety
• A finite algebra A with SP(A) not elementary
• Congruence-distributive polynomial reducts of lattices
• Completeness of calculii for axiomatically defined classes of algebras
• Ein Verfahren Zur Axiomatisierung Der Kontradiktionen Gewisser Zweiwertiger Aussagenkalküle
• Algebras Whose Congruence Lattices are Distributive.
• Fragments of the propositional calculus
• Identities in Two-Valued Calculi
• The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)

This page was built for publication: 2-element matrices