Splittings in varieties of logic
From MaRDI portal
Publication:5002194
DOI10.1142/S021819672150034XzbMath1485.06006MaRDI QIDQ5002194
Tomasz Kowalski, Christopher J. Taylor, Brian A. Davey
Publication date: 27 July 2021
Published in: International Journal of Algebra and Computation (Search for Journal in Brave)
Logical aspects of lattices and related structures (03G10) Heyting algebras (lattice-theoretic aspects) (06D20) Varieties of lattices (06B20)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Residuated lattices. An algebraic glimpse at substructural logics
- Heyting algebras with dual pseudocomplementation
- Even more about the lattice of tense logics
- Splitting algebras and a weak notion of projectivity
- On logics with coimplication
- Tools and techniques in modal logic
- The structure of distributive double p-algebras. Regularity and congruences
- A coalgebraic view of Heyting duality
- Expansions of dually pseudocomplemented Heyting algebras
- On the structure of varieties with equationally definable principal congruences. I
- A formalization of the propositional calculus of H-B logic
- Duality theorems for finite structures (characterising gaps and good characterisations)
- On the structure of hoops
- Splitting in the variety of residuated lattices
- A regular variety of type \(<2,2,1,1,0,0>\)
- Graph Theory and Probability
- All Splitting Logics in the Lattice NExt(KTB)
- Semi-Boolean algebras and their applications to intuitionistic logic with dual operations
- Stone lattices: a topological approach
- THE CONSTRUCTION OF SPACES DUAL TO PSEUDOCOMPLEMENTED DISTRIBUTIVE LATTICES
- Regular double p-algebras
- Residuated frames with applications to decidability
- On the finite embeddability property for residuated ordered groupoids
- Algebras Whose Congruence Lattices are Distributive.
- Some Connections between Residual Finiteness, Finite Embeddability and the Word Problem
- Equational Bases and Nonmodular Lattice Varieties
- Splittings of a Lattice
This page was built for publication: Splittings in varieties of logic