Universal algebraic methods for non-classical logics
From MaRDI portal
Publication:6120602
DOI10.1007/978-3-030-76920-8_2OpenAlexW4200326604MaRDI QIDQ6120602
Publication date: 25 March 2024
Published in: Outstanding Contributions to Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-030-76920-8_2
Cites Work
- A strong Mal'cev condition for locally finite varieties omitting the unary type
- On the structure of varieties with equationally definable principal congruences. II
- Connections between congruence-lattices and polynomial properties
- Relation algebras
- Residuated lattices. An algebraic glimpse at substructural logics
- Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
- Stability of the Blok theorem
- Update to ``A survey of abstract algebraic logic
- A finite basis theorem for quasivarieties
- Finite equational bases for congruence modular varieties
- A concrete ideal multiplication for algebraic systems and its relation to congruence distributivity
- Uniform congruence schemes
- Congruence varieties
- Varieties with equationally definable principal congruences
- The structure of decidable locally finite varieties
- Model theory.
- Characterizing Mal'cev conditions
- Mal'cev varieties
- The number of subdirectly irreducible algebras in a variety
- Finite equational bases for finite algebras in a congruence-distributive equational class
- Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varieties
- Ideal determined varieties need not be congruence 3-permutable
- Relative congruence formulas and decompositions in quasivarieties
- Finite basis problems and results for quasivarieties
- Definable principal subcongruences.
- The finite embeddability property for residuated lattices, pocrims and BCK-algebras.
- Equational bases for joins of residuated-lattice varieties
- Rule separation and embedding theorems for logics without weakening
- Narrowness implies uniformity
- On the structure of varieties with equationally definable principal congruences. I
- \(n\)-permutable varieties satisfy non trivial congruence identities
- Congruence lattices of semilattices
- On the structure of hoops
- On the regularity of MV-algebras and Wajsberg hoops
- A category equivalence for odd Sugihara monoids and its applications
- Amalgamation and interpolation in ordered algebras.
- On \(n\)-permutable congruences
- Quasivarieties of algebras with definable principal congruences
- Epimorphisms, definability and cardinalities
- Characterizations of several Maltsev conditions.
- Willem Blok and modal logic
- The Beth property in algebraic logic
- Optimal strong Mal'cev conditions for omitting type 1 in locally finite varieties.
- Stone duality for primal algebra theory
- Every two elementarily equivalent models have isomorphic ultrapowers
- A note on the congruence extension property
- Equational classes generated by finite algebras
- Completeness of calculii for axiomatically defined classes of algebras
- Residually small varieties
- An extension of Willard's finite basis theorem: Congruence meet-semidistributive varieties of finite critical depth
- Semi-categorical algebras. I: Semi-primal algebras
- Semi-categorial algebras. II
- Generalized ``Boolean theory of universal algebras. II. Identities and subdirect sums of functionally complete algebras
- A remark on functionally free algebras
- A finite basis theorem for difference-term varieties with a finite residual bound
- THE CONSTRAINT SATISFACTION PROBLEM AND UNIVERSAL ALGEBRA
- Generative complexity in algebra
- A Characterization of Identities Implying Congruence Modularity I
- The structure of locally finite varieties with polynomially many models
- Craig interpolation for semilinear substructural logics
- A note on subdirect products
- Geometrical methods in congruence modular algebras
- The finite model property for knotted extensions of propositional linear logic
- FREGEAN VARIETIES
- Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties
- Interpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural Logics
- The weak extension property and finite axiomatizability for quasivarieties
- Logics without the contraction rule
- Injectivity and related concepts in modular varieties: I. Two commutator properties
- Injectivity and related concepts in modular varieties: II. The congruence extension property
- Algebraizable logics
- On the Relationship Between AP, RS and CEP
- On finitely based varieties of algebras
- The lattice of modal logics: an algebraic investigation
- Splitting lattices of logics
- Residually Small Varieties with Modular Congruence Lattices
- Decidability and Boolean representations
- The structure of finite algebras
- On Malcev conditions
- A Note on the Implicational Class Generated by a Class of Structures
- Pure Compactifications in Quasi-Primal Varieties
- Varieties Obeying Homotopy Laws
- A Characterization of Varieties with a Difference Term, II: Neutral = Meet Semi-Distributive
- Residually finite, congruence meet-semidistributive varieties of finite type have a finite residual bound
- The finite model property for various fragments of intuitionistic linear logic
- AN ORDER-THEORETIC PROPERTY OF THE COMMUTATOR
- The Relationship Between Two Commutators
- THE RESIDUAL BOUNDS OF FINITE ALGEBRAS
- TARSKI’S FINITE BASIS PROBLEM IS UNDECIDABLE
- A finite basis theorem for residually finite, congruence meet-semidistributive varieties
- Inconsistency lemmas in algebraic logic
- Every $m$-permutable variety satisfies the congruence identity $\alpha\beta_h= \alpha \gamma_h$
- Idempotent n -permutable varieties
- Algebras Whose Congruence Lattices are Distributive.
- Refinement properties for relational structures
- A Characterization of Modularity for Congruence Lattices of Algebras*
- Some Connections between Residual Finiteness, Finite Embeddability and the Word Problem
- Injectivity in model theory
- Congruence Relations in Direct Products
- The Structure of Pseudocomplemented Distributive Lattices. II: Congruence Extension and Amalgamation
- Local Malcev Conditions
- Equational Bases and Nonmodular Lattice Varieties
- Distributivity and Permutability of Congruence Relations in Equational Classes of Algebras
- Identities in Two-Valued Calculi
- On the representation of lattices
- Identities in Finite Algebras
- Subdirect unions in universal algebra
- Splittings of a Lattice
- Quasi-identities of congruence-distributive quasivarieties of algebras
- Protoalgebraic logics
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Universal algebraic methods for non-classical logics
