:: Library Catalog

Image de couverture de livre

Enregistré dans:

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

Documents similaires

Sheaf of Residuated Lattices
par: Rasouli, Saeed
Publié: (2025)

Duality Theory for Bounded Lattices: A Comparative Study
par: Bezhanishvili, Guram, et autres
Publié: (2025)

Kites and representations of pseudo MV-algebras
par: Botur, Michal, et autres
Publié: (2025)

Amalgamation in Semilinear Residuated Lattices
par: Fussner, Wesley, et autres
Publié: (2024)

An Optimal 14-Symbol Hybrid Basis for BCH-Algebras
par: Ramani, Mahesh, et autres
Publié: (2026)

Unital Specker $\ell$-groups and boolean multispaces
par: Abbadini, Marco, et autres
Publié: (2025)

Robust Topology and the Hausdorff-Smyth Monad on Metric Spaces over Continuous Quantales
par: Dagnino, Francesco, et autres
Publié: (2025)

Blockwise Gluings And Amalgamation Failures in Integral Residuated Lattices
par: Giustarini, Valeria, et autres
Publié: (2024)

The bottom of the lattice of BCK-varieties
par: Kowalski, Tomasz
Publié: (2024)

Domains, Information Frames, Rough Sets: An Equivalence of Categories
par: Spreen, Dieter
Publié: (2025)

Proof-Theoretic Relations between Higman's and Kruskal's theorem, and Independence Results for Tree-like Structures
par: Buriola, Gabriele, et autres
Publié: (2025)

A Gelfand duality for continuous lattices
par: Chen, Ruiyuan
Publié: (2023)

Esakia order-compactifications and locally Esakia spaces
par: Almeida, Rodrigo Nicolau, et autres
Publié: (2025)

Ordinal Analysis of Well-Ordering Principles, Well Quasi-Orders Closure Properties, and $Σ_n$-Collection Schema
par: Buriola, Gabriele, et autres
Publié: (2025)

(Extra)ordinary equivalences with the ascending/descending sequence principle
par: Fiori-Carones, Marta, et autres
Publié: (2021)

Well-quasi-orders on finite trees and transfinite sequences
par: Chopra, Alakh Dhruv, et autres
Publié: (2026)

Autometrized Lattice Ordered Monoids
par: Ashale, Tekalign Regasa, et autres
Publié: (2024)

A Cut-Free Sequent Calculus for the Analysis of Finite-Trace Properties in Concurrent Systems
par: Fusco, Ludovico, et autres
Publié: (2025)

Algorithmic correspondence and analytic rules
par: De Domenico, Andrea, et autres
Publié: (2022)

A new representation of finite Hoops using a new type of product of structures
par: Botur, Michal
Publié: (2025)

Maximal order types for sequences with gap condition
par: Uftring, Patrick
Publié: (2025)

Continuous and algebraic domains in univalent foundations
par: de Jong, Tom, et autres
Publié: (2024)

The uniform Kruskal theorem over RCA$_0$
par: Uftring, Patrick
Publié: (2025)

On Nash-Williams' Theorem regarding sequences with finite range
par: Pakhomov, Fedor, et autres
Publié: (2024)

Reverse mathematics of a uniform Kruskal-Friedman theorem
par: Freund, Anton
Publié: (2021)

On the symmetry behind duality
par: Abbadini, Marco, et autres
Publié: (2025)

Foulis quantales and complete orthomodular lattices
par: Botur, Michal, et autres
Publié: (2025)

A dagger kernel category of complete orthomodular lattices
par: Botur, Michal, et autres
Publié: (2025)

Domains, Information Frames, and Their Logic
par: Spreen, Dieter
Publié: (2025)

MV-frames
par: Nganou, Jean B
Publié: (2024)

Quasiorders for a characterization of iso-dense spaces
par: Richmond, Tom, et autres
Publié: (2024)

A Domain-Theoretic Foundation for Imprecise Probability and Credal Sets
par: Edalat, Abbas, et autres
Publié: (2026)

Categorical Equivalence Between Finitary Orthomodular Dynamic Algebras and Orthomodular Lattices
par: Putra, Juanda Kelana, et autres
Publié: (2026)

On pseudo-irreducibility and Boolean lifting property of filters in residuated lattices
par: Rostami, Esmaeil
Publié: (2025)

Vaught's Conjecture and Theories of Partial Order Admitting a Finite Lexicographic Decomposition
par: Kurilić, Miloš S.
Publié: (2026)

Rational Lukasiewicz logic and DMV-algebras
par: Gerla, Brunella
Publié: (2012)

Axiomatizing small varieties of periodic l-pregroups
par: Galatos, Nikolaos, et autres
Publié: (2025)

The Mostowski Bridge
par: Enayat, Ali
Publié: (2025)

Many-valued aspects of tense an related operators
par: Botur, Michal, et autres
Publié: (2025)

Foulis m-semilattices and their modules
par: Botur, Michal, et autres
Publié: (2025)