On the structure of varieties with equationally definable principal congruences. III
From MaRDI portal
Publication:1342132
DOI10.1007/BF01195727zbMath0817.08004MaRDI QIDQ1342132
Publication date: 13 February 1995
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01195727
algebraic logic; equationally definable principal congruences; hoops; structure of varieties; ternary deductive term; fixed-point ternary discriminator function; quaternary deductive term
Related Items
A Mathematical Life, Introducing Boolean Semilattices, Paraconsistent constructive logic with strong negation as a contraction-free relevant logic, Quasi-Nelson algebras and fragments, Negation and Implication in Quasi-Nelson Logic, Quasi-discriminator varieties, On noncommutative generalisations of Boolean algebras, Dual binary discriminator varieties, The Algebras of Łukasiewicz Many-Valued Logic: A Historical Overview, Unnamed Item, Yankov Characteristic Formulas (An Algebraic Account), Unnamed Item, Prelinearity in (quasi-)Nelson logic, Fragments of quasi-Nelson: residuation, Hoop twist-structures, Boolean-like algebras, Congruence-lattices of discrete RUCS varieties, \(L\)-algebras, self-similarity, and \(l\)-groups, Constructive logic with strong negation is a substructural logic. II, A discriminator variety of Gödel algebras with operators arising in quantum computation, MacNeille completion and profinite completion can coincide on finitely generated modal algebras, Algebraization of quantifier logics, an introductory overview, On subtractive weak Brouwerian semilattices, Varieties of commutative residuated integral pomonoids and their residuation subreducts, Expansions of dually pseudocomplemented Heyting algebras, Factor varieties, \(\bigstar\)-autonomous lattices, Varieties of BL-algebras. I: General properties., Geometrical methods in Wajsberg hoops, Semisimplicity, EDPC and discriminator varieties of bounded weak-commutative residuated lattices with an S4-like modal operator, Projective algebras and primitive subquasivarieties in varieties with factor congruences, Double negation semantics for generalisations of Heyting algebras, Projectivity in (bounded) commutative integral residuated lattices, Varieties of BL-algebras. III: Splitting algebras, Compatibly involutive residuated lattices and the Nelson identity, Characteristic formulas of partial Heyting algebras, In memory of Willem Johannes Blok 1947-2003, Willem Blok's contribution to abstract algebraic logic, On varieties of biresiduation algebras, Implicative twist-structures, Basic hoops: an algebraic study of continuous t-norms, Fuzzy ideals in pseudo-hoop algebras, FREGEAN VARIETIES
Cites Work
- On the structure of varieties with equationally definable principal congruences. II
- Semantical analysis of predicate logics without the contraction rule
- Predicate logics without the structure rules
- Varieties with equationally definable principal congruences
- An algebraic approach to non-classical logics
- On the structure of varieties with equationally definable principal congruences. I
- Komplementäre Halbgruppen. Ein Beitrag zur instruktiven Idealtheorie kommutativer Halbgruppen
- Algebraic Analysis of Many Valued Logics
- Note on algebraic models for relevance logic
- Some Varieties Containing Relation Algebras
- Logics without the contraction rule
- Varieties generated by finite BCK-algebras
- Super-Łukasiewicz propositional logics
- Metric spaces, generalized logic, and closed categories
- Super-Łukasiewicz implicational logics
- Algebras Whose Congruence Lattices are Distributive.
- Deductive systems and categories
- Komplementäre Halbgruppen. Axiomatik und Arithmetik
- An algebra related with a propositional calculus
- Komplementäre Halbgruppen Kongruenzen und Quotienten
- Boolean Algebras with Operators. Part I
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item