Cover Image

The prime spectrum of an $L$-algebra

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Rump, W., Vendramin, L.
Format:	Preprint
Published:	2022
Subjects:	Logic 03G12, 06D20, 03G20, 03B47, 03G10
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Intuitionism and computing with partial information
by: Ganchev, Hristo, et al.
Published: (2026)

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

Uniform Interpolation
by: van Gool, Sam
Published: (2025)

Possibility Semantics
by: Holliday, Wesley H.
Published: (2024)

Representable distributive quasi relation algebras
by: Craig, Andrew, et al.
Published: (2023)

Representability for distributive quasi relation algebras via nested sums
by: Craig, Andrew, et al.
Published: (2025)

Algorithmic correspondence and analytic rules
by: De Domenico, Andrea, et al.
Published: (2022)

Hyper swap structures and Kalman functors: the case study of da Costa logic $C_ω$
by: Coniglio, Marcelo E., et al.
Published: (2025)

Free p-algebras revisited: an algebraic investigation of implication-free intuitionism
by: Kowalski, Tomasz, et al.
Published: (2024)

Decidable varieties of p-algebras
by: Kowalski, Tomasz, et al.
Published: (2024)

An explicit Kuznetsov-Muravitsky enrichment
by: Jibladze, Mamuka, et al.
Published: (2024)

Term algebras of elementarily equivalent atom structures
by: Andréka, H., et al.
Published: (2018)

Preconditionals
by: Holliday, Wesley H.
Published: (2024)

Nonrepresentable relation algebras from group systems
by: Andréka, H., et al.
Published: (2018)

Tense logics based on posets
by: Chajda, Ivan, et al.
Published: (2024)

Minimal signatures with undecidability of representability by binary relations
by: Hirsch, Robin, et al.
Published: (2024)

Johnson's axioms revisited: Bases for Boolean algebras containing identities of associative type. I
by: Sankappanavar, Hanamantagouda P.
Published: (2025)

Correspondence Theory for Many-valued Modal Logic
by: Britz, Cecelia, et al.
Published: (2024)

Logic families
by: Andréka, H., et al.
Published: (2023)

Normal forms and representable functions in Moisil logic
by: Sipos, Andrei
Published: (2023)

Interpolation in Hájek's Basic Logic
by: Fussner, Wesley, et al.
Published: (2024)

Residuated lattices do not have the amalgamation property
by: Jipsen, Peter, et al.
Published: (2025)

Diamonds and Dominoes: Impossibility Results for Associative Modal Logics
by: Knudstorp, Søren Brinck
Published: (2025)

Quantales carrying ortholattice structure
by: Botur, Michal, et al.
Published: (2026)

The variety of coset relation algebras
by: Givant, Steven, et al.
Published: (2018)

An introduction to Lorenzen's "Algebraic and logistic investigations on free lattices" (1951)
by: Coquand, Thierry, et al.
Published: (2017)

A minimalist two-level foundation for constructive mathematics
by: Maietti, Maria Emilia
Published: (2008)

Is Peirce's reduction thesis gerrymandered?
by: Koshkin, Sergiy
Published: (2024)

A Cut-Free Sequent Calculus for the Analysis of Finite-Trace Properties in Concurrent Systems
by: Fusco, Ludovico, et al.
Published: (2025)

Degree of Satisfiability in Heyting Algebras
by: Bumpus, Benjamin Merlin, et al.
Published: (2021)

Diagrams of opposition: an algebraic viewpoint
by: Wu, Chai Wah
Published: (2024)

L-algebras and their ideals: from simplicity to semidirect products
by: Properzi, Silvia, et al.
Published: (2025)

Maehara Interpolation in Extensions of R-mingle
by: Fussner, Wesley, et al.
Published: (2025)

The logic of bunched implications is undecidable
by: Galatos, Nick, et al.
Published: (2026)

Biased elementary doctrines and quotient completions
by: Cioffo, Cipriano Junior
Published: (2023)

Coexact completion of profinite Heyting algebras and uniform interpolation
by: Ye, Lingyuan
Published: (2026)

Computability of Separation Axioms in Countable Second Countable Spaces
by: DeLapo, Andrew, et al.
Published: (2025)

How to take cats together
by: Carollo, Imanol Mozo
Published: (2024)

Implications in pseudocomplemented and Stone lattices
by: Chajda, Ivan, et al.
Published: (2024)

A diagrammatic proof-theoretic semantics for the Greimas semiotic square
by: Fowler, Michael
Published: (2026)