:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Dagnino, Francesco, Farjudian, Amin, Moggi, Eugenio
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science 06B35, 06F07 F.3.2
Online Access:	https://arxiv.org/abs/2508.11623
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Continuous Domains for Function Spaces Using Spectral Compactification
by: Farjudian, Amin, et al.
Published: (2024)

Continuous and algebraic domains in univalent foundations
by: de Jong, Tom, et al.
Published: (2024)

A Domain-Theoretic Foundation for Imprecise Probability and Credal Sets
by: Edalat, Abbas, et al.
Published: (2026)

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

Ordinal Analysis of Well-Ordering Principles, Well Quasi-Orders Closure Properties, and $Σ_n$-Collection Schema
by: Buriola, Gabriele, et al.
Published: (2025)

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

The uniform Kruskal theorem over RCA$_0$
by: Uftring, Patrick
Published: (2025)

Well-quasi-orders on finite trees and transfinite sequences
by: Chopra, Alakh Dhruv, et al.
Published: (2026)

Domains, Information Frames, Rough Sets: An Equivalence of Categories
by: Spreen, Dieter
Published: (2025)

Fuzzy Galois connections on fuzzy sets
by: García, Javier Gutiérrez, et al.
Published: (2017)

On Nash-Williams' Theorem regarding sequences with finite range
by: Pakhomov, Fedor, et al.
Published: (2024)

Proof-Theoretic Relations between Higman's and Kruskal's theorem, and Independence Results for Tree-like Structures
by: Buriola, Gabriele, et al.
Published: (2025)

Reverse mathematics of a uniform Kruskal-Friedman theorem
by: Freund, Anton
Published: (2021)

Domains, Information Frames, and Their Logic
by: Spreen, Dieter
Published: (2025)

On $\mathscr{T}$-based orthomodular dynamic algebras
by: Paseka, Jan, et al.
Published: (2026)

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

Higher Catoids, Higher Quantales and their Correspondences
by: Calk, Cameron, et al.
Published: (2023)

On Semi-simplicity Results in Residuated Lattices
by: Rostami, Esmaeil
Published: (2025)

Many-valued aspects of tense an related operators
by: Botur, Michal, et al.
Published: (2025)

A foundational characterization of Hoare Logic
by: Leivant, Daniel
Published: (2026)

An Optimal 14-Symbol Hybrid Basis for BCH-Algebras
by: Ramani, Mahesh, et al.
Published: (2026)

The associative-poset point of view on right regular bands
by: Kuperman, Joel, et al.
Published: (2025)

Unital Specker $\ell$-groups and boolean multispaces
by: Abbadini, Marco, et al.
Published: (2025)

Some functor calculus on semirings
by: Biswas, Pronay, et al.
Published: (2025)

Kites and representations of pseudo MV-algebras
by: Botur, Michal, et al.
Published: (2025)

Ideals in quantales, II
by: Goswami, Amartya
Published: (2023)

Semiframes: the algebra of semitopologies and actionable coalitions
by: Gabbay, Murdoch J.
Published: (2023)

On $z$-elements of multiplicative lattices
by: Dube, Themba, et al.
Published: (2024)

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

Grothendieck rings of ordered subgroups of $\mathbb{Q}$
by: Bhardwaj, Neer, et al.
Published: (2025)

Two-dimensional Kripke Semantics I: Presheaves
by: Kavvos, G. A.
Published: (2024)

Categorical Equivalence Between Finitary Orthomodular Dynamic Algebras and Orthomodular Lattices
by: Putra, Juanda Kelana, et al.
Published: (2026)

A Classifying Topos for the Spectrum of Equivalences
by: Oggad, Kenan
Published: (2026)

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

A Gelfand duality for continuous lattices
by: Chen, Ruiyuan
Published: (2023)

A characterization of Continuous Logic by using quantale-valued logics
by: Reyes, David, et al.
Published: (2021)

Maximal order types for sequences with gap condition
by: Uftring, Patrick
Published: (2025)

(Extra)ordinary equivalences with the ascending/descending sequence principle
by: Fiori-Carones, Marta, et al.
Published: (2021)

Two-dimensional Kripke Semantics II: Stability and Completeness
by: Kavvos, G. A.
Published: (2024)

Esakia order-compactifications and locally Esakia spaces
by: Almeida, Rodrigo Nicolau, et al.
Published: (2025)