The following pages link to 2-element matrices (Q1168307):
Displaying 26 items.
- Quasi-equational bases for graphs of semigroups, monoids and groups. (Q535220) (← links)
- A calculus for the common rules of \(\wedge\) and \(\vee\) (Q918952) (← links)
- Investigations into a left-structural right-substructural sequent calculus (Q1006458) (← links)
- The logic of algebraic rules as a generalization of equational logic (Q1065789) (← links)
- Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra (Q1073065) (← links)
- Algebraic logic for classical conjunction and disjunction (Q1189892) (← links)
- On reduced matrices (Q1208116) (← links)
- Axiomatization of semigroup consequences (Q1263575) (← links)
- On finitely based groups and nonfinitely based quasivarieties (Q1265546) (← links)
- Three-element nonfinitely axiomatizable matrices (Q1337599) (← links)
- Singulary extensional connectives: A closer look (Q1362590) (← links)
- Key notions of Tarski's methodology of deductive systems (Q1820770) (← links)
- Gentzen-style axiomatizations in equational logic (Q1902550) (← links)
- Quasi-identities of finite semigroups and symbolic dynamics (Q1905790) (← links)
- Finite two-dimensional proof systems for non-finitely axiomatizable logics (Q2104551) (← links)
- Logics of order and related notions (Q2106877) (← links)
- Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics (Q2108580) (← links)
- An unexpected Boolean connective (Q2169126) (← links)
- Combining fragments of classical logic: when are interaction principles needed? (Q2317512) (← links)
- Three-element non-finitely axiomatizable matrices and term-equivalence (Q2987725) (← links)
- JUXTAPOSITION: A NEW WAY TO COMBINE LOGICS (Q3224048) (← links)
- Parallelizable algebras (Q3773330) (← links)
- Implication, Equivalence, and Negation (Q5059689) (← links)
- European Summer Meeting of the Association for Symbolic Logic (Q5966661) (← links)
- Axiomatizing non-deterministic many-valued generalized consequence relations (Q6088603) (← links)
- On the logic of distributive nearlattices (Q6094160) (← links)
