Universal algebraic methods for non-classical logics
type: Item
instance of: scholarly article
title: Universal algebraic methods for non-classical logics
DOI: 10.1007/978-3-030-76920-8_2
author: J. G. Raftery
published in: Outstanding Contributions to Logic
publication date: 2024-03-25T00:00:00Z
Mathematics Subject Classification ID: 03A05
Mathematics Subject Classification ID: 03Bxx
zbMATH DE Number: 7823888
MaRDI profile type: MaRDI publication profile
full work available at URL: 978-3-030-76920-8 2
OpenAlex ID: W4200326604
cites work: Injectivity in model theory
cites work: Finite equational bases for finite algebras in a congruence-distributive equational class
cites work: An extension of Willard's finite basis theorem: Congruence meet-semidistributive varieties of finite critical depth
cites work: Definable principal subcongruences.
cites work: The number of subdirectly irreducible algebras in a variety
cites work: The constraint satisfaction problem and universal algebra
cites work: On the regularity of MV-algebras and Wajsberg hoops
cites work: Q3093852
cites work: Q3033815
cites work: Q3325700
cites work: Generative complexity in algebra
cites work: Q5762080
cites work: Subdirect unions in universal algebra
cites work: Q3208624
cites work: The lattice of modal logics: an algebraic investigation
cites work: On the structure of hoops
cites work: The Beth property in algebraic logic
cites work: On the structure of varieties with equationally definable principal congruences. II
cites work: On the structure of varieties with equationally definable principal congruences. I
cites work: A finite basis theorem for quasivarieties
cites work: Algebraizable logics
cites work: The finite embeddability property for residuated lattices, pocrims and BCK-algebras.
cites work: Decidability and Boolean representations
cites work: Q3934450
cites work: Relative congruence formulas and decompositions in quasivarieties
cites work: Refinement properties for relational structures
cites work: Model theory.
cites work: Q5515373
cites work: Q5619138
cites work: Protoalgebraic logics
cites work: Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
cites work: Q4249028
cites work: Q3313919
cites work: A Characterization of Modularity for Congruence Lattices of Algebras*
cites work: A note on the congruence extension property
cites work: A Characterization of Identities Implying Congruence Modularity I
cites work: The weak extension property and finite axiomatizability for quasivarieties
cites work: Some Connections between Residual Finiteness, Finite Embeddability and the Word Problem
cites work: Q5587100
cites work: Q5595183
cites work: A note on subdirect products
cites work: Q3185647
cites work: Update to ``A survey of abstract algebraic logic''
cites work: Generalized ``Boolean'' theory of universal algebras. II. Identities and subdirect sums of functionally complete algebras
cites work: Semi-categorical algebras. I: Semi-primal algebras
cites work: Semi-categorial algebras. II
cites work: Congruence Relations in Direct Products
cites work: Residually Small Varieties with Modular Congruence Lattices
cites work: Q3775604
cites work: Congruence lattices of semilattices
cites work: Uniform congruence schemes
cites work: Connections between congruence-lattices and polynomial properties
cites work: Q3022776
cites work: Equational bases for joins of residuated-lattice varieties
cites work: Residuated lattices. An algebraic glimpse at substructural logics
cites work: A category equivalence for odd Sugihara monoids and its applications
cites work: Q4220413
cites work: Q4200260
cites work: The Structure of Pseudocomplemented Distributive Lattices. II: Congruence Extension and Amalgamation
cites work: A Note on the Implicational Class Generated by a Class of Structures
cites work: Geometrical methods in congruence modular algebras
cites work: A concrete ideal multiplication for algebraic systems and its relation to congruence distributivity
cites work: On \(n\)-permutable congruences
cites work: Q3247123
cites work: Q4195012
cites work: The structure of finite algebras
cites work: Stone duality for primal algebra theory

Universal algebraic methods for non-classical logics (cites work)
cites work: The structure of locally finite varieties with polynomially many models

Universal algebraic methods for non-classical logics (cites work)
cites work: FREGEAN VARIETIES

Universal algebraic methods for non-classical logics (cites work)
cites work: Q5519127

Universal algebraic methods for non-classical logics (cites work)
cites work: On the representation of lattices

Universal algebraic methods for non-classical logics (cites work)
cites work: Algebras Whose Congruence Lattices are Distributive.

Universal algebraic methods for non-classical logics (cites work)
cites work: On finitely based varieties of algebras

Universal algebraic methods for non-classical logics (cites work)
cites work: Congruence varieties

Universal algebraic methods for non-classical logics (cites work)
cites work: Q4856909

Universal algebraic methods for non-classical logics (cites work)
cites work: Q4527760

Universal algebraic methods for non-classical logics (cites work)
cites work: On the Relationship Between AP, RS and CEP

Universal algebraic methods for non-classical logics (cites work)
cites work: AN ORDER-THEORETIC PROPERTY OF THE COMMUTATOR

Universal algebraic methods for non-classical logics (cites work)
cites work: Optimal strong Mal'cev conditions for omitting type 1 in locally finite varieties.

Universal algebraic methods for non-classical logics (cites work)
cites work: The Relationship Between Two Commutators

Universal algebraic methods for non-classical logics (cites work)
cites work: A finite basis theorem for difference-term varieties with a finite residual bound

Universal algebraic methods for non-classical logics (cites work)
cites work: Residually finite, congruence meet-semidistributive varieties of finite type have a finite residual bound

Universal algebraic methods for non-classical logics (cites work)
cites work: Q5728445

Universal algebraic methods for non-classical logics (cites work)
cites work: Interpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural Logics

Universal algebraic methods for non-classical logics (cites work)
cites work: Injectivity and related concepts in modular varieties: I. Two commutator properties

Universal algebraic methods for non-classical logics (cites work)
cites work: Injectivity and related concepts in modular varieties: II. The congruence extension property

Universal algebraic methods for non-classical logics (cites work)
cites work: Q5599198

Universal algebraic methods for non-classical logics (cites work)
cites work: Varieties with equationally definable principal congruences

Universal algebraic methods for non-classical logics (cites work)
cites work: Characterizations of several Maltsev conditions.

Universal algebraic methods for non-classical logics (cites work)
cites work: \(n\)-permutable varieties satisfy non trivial congruence identities

Universal algebraic methods for non-classical logics (cites work)
cites work: A Characterization of Varieties with a Difference Term, II: Neutral = Meet Semi-Distributive

Universal algebraic methods for non-classical logics (cites work)
cites work: Every $m$-permutable variety satisfies the congruence identity $\alpha\beta_h= \alpha \gamma_h$

Universal algebraic methods for non-classical logics (cites work)
cites work: Stability of the Blok theorem

Universal algebraic methods for non-classical logics (cites work)
cites work: Q3230356

Universal algebraic methods for non-classical logics (cites work)
cites work: Identities in Two-Valued Calculi

Universal algebraic methods for non-classical logics (cites work)
cites work: Identities in Finite Algebras

Universal algebraic methods for non-classical logics (cites work)
cites work: Relation algebras

Universal algebraic methods for non-classical logics (cites work)
cites work: Q5659626

Universal algebraic methods for non-classical logics (cites work)
cites work: Q5659618

Universal algebraic methods for non-classical logics (cites work)
cites work: Q5829835

Universal algebraic methods for non-classical logics (cites work)
cites work: Q5661940

Universal algebraic methods for non-classical logics (cites work)
cites work: Craig interpolation for semilinear substructural logics

Universal algebraic methods for non-classical logics (cites work)
cites work: Finite basis problems and results for quasivarieties

Universal algebraic methods for non-classical logics (cites work)
cites work: Equational Bases and Nonmodular Lattice Varieties

Universal algebraic methods for non-classical logics (cites work)
cites work: Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varieties

Universal algebraic methods for non-classical logics (cites work)
cites work: Narrowness implies uniformity

Universal algebraic methods for non-classical logics (cites work)
cites work: Finite equational bases for congruence modular varieties

Universal algebraic methods for non-classical logics (cites work)
cites work: THE RESIDUAL BOUNDS OF FINITE ALGEBRAS

Universal algebraic methods for non-classical logics (cites work)
cites work: TARSKI’S FINITE BASIS PROBLEM IS UNDECIDABLE

Universal algebraic methods for non-classical logics (cites work)
cites work: Q4896512

Universal algebraic methods for non-classical logics (cites work)
cites work: Q3751631

Universal algebraic methods for non-classical logics (cites work)
cites work: The structure of decidable locally finite varieties

Universal algebraic methods for non-classical logics (cites work)
cites work: Amalgamation and interpolation in ordered algebras.

Universal algebraic methods for non-classical logics (cites work)
cites work: Epimorphisms, definability and cardinalities

Universal algebraic methods for non-classical logics (cites work)
cites work: Q5534915

Universal algebraic methods for non-classical logics (cites work)
cites work: On Malcev conditions

Universal algebraic methods for non-classical logics (cites work)
cites work: Quasivarieties of algebras with definable principal congruences

Universal algebraic methods for non-classical logics (cites work)
cites work: Quasi-identities of congruence-distributive quasivarieties of algebras

Universal algebraic methods for non-classical logics (cites work)
cites work: The finite model property for various fragments of intuitionistic linear logic

Universal algebraic methods for non-classical logics (cites work)
cites work: Logics without the contraction rule

Universal algebraic methods for non-classical logics (cites work)
cites work: Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties

Universal algebraic methods for non-classical logics (cites work)
cites work: Distributivity and Permutability of Congruence Relations in Equational Classes of Algebras

Universal algebraic methods for non-classical logics (cites work)
cites work: Local Malcev Conditions

Universal algebraic methods for non-classical logics (cites work)
cites work: Equational classes generated by finite algebras

Universal algebraic methods for non-classical logics (cites work)
cites work: Ideal determined varieties need not be congruence 3-permutable

Universal algebraic methods for non-classical logics (cites work)
cites work: Inconsistency lemmas in algebraic logic

Universal algebraic methods for non-classical logics (cites work)
cites work: Splitting lattices of logics

Universal algebraic methods for non-classical logics (cites work)
cites work: Willem Blok and modal logic

Universal algebraic methods for non-classical logics (cites work)
cites work: Completeness of calculii for axiomatically defined classes of algebras

Universal algebraic methods for non-classical logics (cites work)
cites work: Every two elementarily equivalent models have isomorphic ultrapowers

Universal algebraic methods for non-classical logics (cites work)
cites work: A strong Mal'cev condition for locally finite varieties omitting the unary type

Universal algebraic methods for non-classical logics (cites work)
cites work: Mal'cev varieties

Universal algebraic methods for non-classical logics (cites work)
cites work: A remark on functionally free algebras

Universal algebraic methods for non-classical logics (cites work)
cites work: Residually small varieties

Universal algebraic methods for non-classical logics (cites work)
cites work: Characterizing Mal'cev conditions

Universal algebraic methods for non-classical logics (cites work)
cites work: Pure Compactifications in Quasi-Primal Varieties

Universal algebraic methods for non-classical logics (cites work)
cites work: Varieties Obeying Homotopy Laws

Universal algebraic methods for non-classical logics (cites work)
cites work: Idempotent n -permutable varieties

Universal algebraic methods for non-classical logics (cites work)
cites work: The finite model property for knotted extensions of propositional linear logic

Universal algebraic methods for non-classical logics (cites work)
cites work: Rule separation and embedding theorems for logics without weakening

Universal algebraic methods for non-classical logics (cites work)
cites work: Q3069693

Universal algebraic methods for non-classical logics (cites work)
cites work: Splittings of a Lattice

Universal algebraic methods for non-classical logics (cites work)
cites work: A finite basis theorem for residually finite, congruence meet-semidistributive varieties