Imagen de Portada

Bounded depth in Hilbert algebras

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Carai, Luca, Kurtzhals, Miriam, Moraschini, Tommaso
Formato:	Preprint
Publicado:	2026
Materias:	Logic
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Congruence permutability in quasivarieties
por: Carai, Luca, et al.
Publicado: (2025)

The theory of implicit operations
por: Carai, Luca, et al.
Publicado: (2025)

An addendum to "The theory of implicit operations"
por: Carai, Luca, et al.
Publicado: (2025)

A categorical description of simple Beth companions
por: Carai, Luca, et al.
Publicado: (2026)

Epimorphisms between finitely generated algebras
por: Carai, Luca, et al.
Publicado: (2024)

A completion of reduced commutative rings
por: Carai, Luca, et al.
Publicado: (2026)

Implicit operations in varieties of commutative monoids
por: Carai, Luca, et al.
Publicado: (2026)

On the universal theory of the free pseudocomplemented distributive lattice
por: Carai, Luca, et al.
Publicado: (2024)

Trees and spectra of Heyting algebras
por: Fornasiere, Damiano, et al.
Publicado: (2024)

Local Tabularity is Decidable for Bi-Intermediate Logics of Trees and of Co-Trees
por: Martins, Miguel, et al.
Publicado: (2024)

Free algebras and coproducts in varieties of Gödel algebras
por: Carai, Luca
Publicado: (2024)

Degrees of the finite model property: the antidichotomy theorem
por: Bezhanishvili, Guram, et al.
Publicado: (2023)

A generalization of de Vries duality to closed relations between compact Hausdorff spaces
por: Abbadini, Marco, et al.
Publicado: (2022)

Ultracontact algebras and stack systems
por: Carai, Luca, et al.
Publicado: (2026)

Intuitionistic Sahlqvist theory for deductive systems
por: Fornasiere, Damiano, et al.
Publicado: (2022)

Bi-intermediate logics of trees and co-trees
por: Bezhanishvili, N., et al.
Publicado: (2022)

Failure of Esakia's theorem in the monadic setting
por: Bezhanishvili, Guram, et al.
Publicado: (2024)

Esakia's theorem for the amended monadic intuitionistic calculus
por: Bezhanishvili, Guram, et al.
Publicado: (2025)

Duality Theory for Bounded Lattices: A Comparative Study
por: Bezhanishvili, Guram, et al.
Publicado: (2025)

Failure of the Blok-Esakia Theorem in the monadic setting
por: Bezhanishvili, Guram, et al.
Publicado: (2024)

On the lack of colimits in various categories arising in pointfree topology and algebraic logic
por: Abbadini, Marco, et al.
Publicado: (2025)

Generalization of terms via universal algebra
por: Flaminio, Tommaso, et al.
Publicado: (2025)

Connecting generalized Priestley duality to Hofmann-Mislove-Stralka duality
por: Bezhanishvili, Guram, et al.
Publicado: (2022)

A calculus for modal compact Hausdorff spaces
por: Bezhanishvili, Nick, et al.
Publicado: (2024)

Difference-restriction algebras with operators
por: Borlido, Célia, et al.
Publicado: (2025)

On proving consistency of equational theories in Bounded Arithmetic
por: Beckmann, Arnold, et al.
Publicado: (2022)

Convex algebras on an interval with semicontinuous monotone operations
por: Sokolova, Ana, et al.
Publicado: (2026)

Model Theory of Hilbert Spaces with a Discrete Group Action
por: Berenstein, Alexander, et al.
Publicado: (2024)

Tolerance and the Bounds
por: Rohan French
Publicado: (2021)

A note on quantitative stability in Hilbert spaces
por: Jing, Yifan
Publicado: (2026)

Nelson algebras, residuated lattices and rough sets: A survey
por: Järvinen, Jouni, et al.
Publicado: (2024)

On the preservation of unification type of Heyting algebras and interior algebras
por: Düntsch, Ivo, et al.
Publicado: (2025)

Linear Logic and the Hilbert Scheme
por: Troiani, William, et al.
Publicado: (2025)

A concrete model for a typed linear algebraic lambda calculus
por: Díaz-Caro, Alejandro, et al.
Publicado: (2018)

A dual characterisation of simple and subdirectly-irreducible temporal Heyting algebras
por: Alvarez, David Quinn
Publicado: (2025)

Finite Hilbert systems for Weak Kleene logics
por: Greati, Vitor, et al.
Publicado: (2024)

Local structure of idempotent algebras I
por: Bulatov, Andrei A.
Publicado: (2020)

Hemi-Nelson algebras
por: Lubomirsky, Noemí, et al.
Publicado: (2026)

Implicative-orthomodular algebras
por: Ciungu, Lavinia Corina
Publicado: (2023)

Obligations and permissions, algebraically
por: De Domenico, Andrea, et al.
Publicado: (2024)