Imagen de Portada

Some remarks on lattices of equivalences

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Herrmann, Christian
Formato:	Preprint
Publicado:	2025
Materias:	Logic
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

On the equational theory of finite modular lattices
por: Herrmann, Christian
Publicado: (2024)

Some applications of fuzzy sets in residuated lattices
por: Flaut, Cristina, et al.
Publicado: (2024)

Further remarks on the dual negation in team logics
por: Anttila, Aleksi
Publicado: (2024)

Some remarks on the uncolored versions of the original CFI-graphs
por: Chen, Yijia, et al.
Publicado: (2025)

A remark on $\mathscr{C}^\infty$ definable equivalence
por: Valette, Anna, et al.
Publicado: (2024)

Approximate equivalence relations
por: Hrushovski, Ehud
Publicado: (2024)

Teasing apart definitional equivalence
por: Chen, Jason, et al.
Publicado: (2025)

Graphings of arithmetical equivalence relations
por: Arant, Tyler
Publicado: (2025)

On the logical structure of some maximality and well-foundedness principles equivalent to choice principles
por: Herbelin, Hugo
Publicado: (2024)

A new categorial equivalence for Stone Algebras
por: Calomino, Ismael, et al.
Publicado: (2025)

An order analysis of hyperfinite Borel equivalence relations
por: Gao, Su, et al.
Publicado: (2024)

Pointed lattice subreducts of varieties of residuated lattices
por: Přenosil, Adam
Publicado: (2023)

Relating homotopy equivalences to conservativity in dependent type theories with computation axioms
por: Spadetto, Matteo
Publicado: (2023)

Some General Completeness Results for Propositionally Quantified Modal Logics
por: Ding, Yifeng, et al.
Publicado: (2024)

Refutation calculi for lattice-based logics: from display to tableaux
por: De Domenico, Andrea, et al.
Publicado: (2026)

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

The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)
por: Alrabbaa, Christian, et al.
Publicado: (2025)

Theories of Frege structure equivalent to Feferman's system $\mathsf{T}_0$
por: Hayashi, Daichi
Publicado: (2024)

A small remark on small-dimensional normed barrelled spaces
por: Sobota, Damian
Publicado: (2025)

Gelfand residuated lattices
por: Rasouli, Saeed, et al.
Publicado: (2022)

A Borel graphable equivalence relation with no Borel graphing of diameter two
por: Lutz, Patrick
Publicado: (2026)

Fragments of Some Subintuitionistic Logics
por: Maleki, Fatemeh Shirmohammadzadeh, et al.
Publicado: (2025)

Some Observations on Infinitary Complexity
por: Carl, Merlin
Publicado: (2018)

Formalizing equivalences without tears
por: de Jong, Tom
Publicado: (2024)

Borel graphable equivalence relations
por: Arant, Tyler, et al.
Publicado: (2024)

Some model theory of the Heisenberg group
por: Frącek, Maciej, et al.
Publicado: (2025)

Some model theory of quadratic geometries
por: Kestner, Charlotte, et al.
Publicado: (2024)

A simple formalization of alpha-equivalence
por: Apinis, Kalmer, et al.
Publicado: (2025)

n-fold filters in residuated lattice
por: Kadji, A., et al.
Publicado: (2013)

Some Epistemic Extensions of Gödel Fuzzy Logic
por: Dastgheib, D., et al.
Publicado: (2016)

Nagata products of bimodules over residuated lattices
por: Přenosil, Adam, et al.
Publicado: (2025)

Twist-structures isomorphic to modal Nelson lattices
por: Menchón, Paula, et al.
Publicado: (2025)

Foulis-Holland theorem for implicative-orthomodular lattices
por: Ciungu, Lavinia Corina
Publicado: (2024)

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

Labelled calculi for lattice-based modal logics
por: van der Berg, Ineke, et al.
Publicado: (2024)

Some results in non-monotonic proof-theoretic semantics
por: d'Aragona, Antonio Piccolomini
Publicado: (2025)

Some Results on Finitely Splitting Subtrees of Aronszajn Trees
por: Krueger, John
Publicado: (2024)

Some observations on a result by Bialinicki-Birula and Zelazko
por: Gullà, Gabriele
Publicado: (2024)

On a lattice of relational spaces (reducts) for the order of integers
por: Semenov, A. L., et al.
Publicado: (2024)

Superamalgamation for modal lattices via non-distributive dualities
por: Almeida, Rodrigo Nicolau, et al.
Publicado: (2026)