:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteur principal:	Herrmann, Christian
Format:	Preprint
Publié:	2025
Sujets:	Logic
Accès en ligne:	https://arxiv.org/abs/2507.20605
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

On the equational theory of finite modular lattices
par: Herrmann, Christian
Publié: (2024)

Some remarks on the uncolored versions of the original CFI-graphs
par: Chen, Yijia, et autres
Publié: (2025)

Some applications of fuzzy sets in residuated lattices
par: Flaut, Cristina, et autres
Publié: (2024)

Further remarks on the dual negation in team logics
par: Anttila, Aleksi
Publié: (2024)

A remark on $\mathscr{C}^\infty$ definable equivalence
par: Valette, Anna, et autres
Publié: (2024)

Approximate equivalence relations
par: Hrushovski, Ehud
Publié: (2024)

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

Teasing apart definitional equivalence
par: Chen, Jason, et autres
Publié: (2025)

Graphings of arithmetical equivalence relations
par: Arant, Tyler
Publié: (2025)

Relating homotopy equivalences to conservativity in dependent type theories with computation axioms
par: Spadetto, Matteo
Publié: (2023)

Some General Completeness Results for Propositionally Quantified Modal Logics
par: Ding, Yifeng, et autres
Publié: (2024)

The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)
par: Alrabbaa, Christian, et autres
Publié: (2025)

A small remark on small-dimensional normed barrelled spaces
par: Sobota, Damian
Publié: (2025)

A new categorial equivalence for Stone Algebras
par: Calomino, Ismael, et autres
Publié: (2025)

An order analysis of hyperfinite Borel equivalence relations
par: Gao, Su, et autres
Publié: (2024)

Pointed lattice subreducts of varieties of residuated lattices
par: Přenosil, Adam
Publié: (2023)

Refutation calculi for lattice-based logics: from display to tableaux
par: De Domenico, Andrea, et autres
Publié: (2026)

Nelson algebras, residuated lattices and rough sets: A survey
par: Järvinen, Jouni, et autres
Publié: (2024)

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

Formalizing equivalences without tears
par: de Jong, Tom
Publié: (2024)

Borel graphable equivalence relations
par: Arant, Tyler, et autres
Publié: (2024)

Fragments of Some Subintuitionistic Logics
par: Maleki, Fatemeh Shirmohammadzadeh, et autres
Publié: (2025)

Some Observations on Infinitary Complexity
par: Carl, Merlin
Publié: (2018)

Gelfand residuated lattices
par: Rasouli, Saeed, et autres
Publié: (2022)

A Borel graphable equivalence relation with no Borel graphing of diameter two
par: Lutz, Patrick
Publié: (2026)

A simple formalization of alpha-equivalence
par: Apinis, Kalmer, et autres
Publié: (2025)

Some model theory of the Heisenberg group
par: Frącek, Maciej, et autres
Publié: (2025)

Some model theory of quadratic geometries
par: Kestner, Charlotte, et autres
Publié: (2024)

Some Epistemic Extensions of Gödel Fuzzy Logic
par: Dastgheib, D., et autres
Publié: (2016)

n-fold filters in residuated lattice
par: Kadji, A., et autres
Publié: (2013)

Some results in non-monotonic proof-theoretic semantics
par: d'Aragona, Antonio Piccolomini
Publié: (2025)

Some Results on Finitely Splitting Subtrees of Aronszajn Trees
par: Krueger, John
Publié: (2024)

Some observations on a result by Bialinicki-Birula and Zelazko
par: Gullà, Gabriele
Publié: (2024)

Back-and-forth equivalent group von Neumann algebras
par: Goldbring, Isaac, et autres
Publié: (2024)

Nagata products of bimodules over residuated lattices
par: Přenosil, Adam, et autres
Publié: (2025)

Twist-structures isomorphic to modal Nelson lattices
par: Menchón, Paula, et autres
Publié: (2025)

Foulis-Holland theorem for implicative-orthomodular lattices
par: Ciungu, Lavinia Corina
Publié: (2024)

On the universal theory of the free pseudocomplemented distributive lattice
par: Carai, Luca, et autres
Publié: (2024)

Labelled calculi for lattice-based modal logics
par: van der Berg, Ineke, et autres
Publié: (2024)

On a lattice of relational spaces (reducts) for the order of integers
par: Semenov, A. L., et autres
Publié: (2024)