Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2603.29137 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
The bottom of the lattice of BCK-varieties
by: Kowalski, Tomasz
Published: (2024)
by: Kowalski, Tomasz
Published: (2024)
Algorithmic correspondence and analytic rules
by: De Domenico, Andrea, et al.
Published: (2022)
by: De Domenico, Andrea, et al.
Published: (2022)
A Cut-Free Sequent Calculus for the Analysis of Finite-Trace Properties in Concurrent Systems
by: Fusco, Ludovico, et al.
Published: (2025)
by: Fusco, Ludovico, et al.
Published: (2025)
Subresiduated Nelson Algebras
by: Lubomirsky, Noemí, et al.
Published: (2024)
by: Lubomirsky, Noemí, et al.
Published: (2024)
Quantales carrying ortholattice structure
by: Botur, Michal, et al.
Published: (2026)
by: Botur, Michal, et al.
Published: (2026)
Locally tabular products of modal logics
by: Shapirovsky, Ilya B., et al.
Published: (2024)
by: Shapirovsky, Ilya B., et al.
Published: (2024)
Discrete dualities for some algebras from rough sets
by: Düntsch, Ivo, et al.
Published: (2026)
by: Düntsch, Ivo, et al.
Published: (2026)
Encoding Sequences in Intuitionistic Real Algebra
by: Erdélyi-Szabó, Miklós
Published: (2025)
by: Erdélyi-Szabó, Miklós
Published: (2025)
Possibility Semantics
by: Holliday, Wesley H.
Published: (2024)
by: Holliday, Wesley H.
Published: (2024)
The Uniform Functional Interpretation with Informative Types
by: Ferreira, Fernando, et al.
Published: (2025)
by: Ferreira, Fernando, et al.
Published: (2025)
Generalized Kripke's Schema and the Expressive Power of Intuitionistic Real Algebra
by: Erdélyi-Szabó, Miklós
Published: (2024)
by: Erdélyi-Szabó, Miklós
Published: (2024)
Residuated lattices do not have the amalgamation property
by: Jipsen, Peter, et al.
Published: (2025)
by: Jipsen, Peter, et al.
Published: (2025)
Canonicity in power and modal logics of finite achronal width
by: Goldblatt, Robert, et al.
Published: (2022)
by: Goldblatt, Robert, et al.
Published: (2022)
Extended Contact Algebras: Algebraic analysis and duality theory
by: Gruszczyński, Rafał, et al.
Published: (2025)
by: Gruszczyński, Rafał, et al.
Published: (2025)
Amalgamation in Semilinear Residuated Lattices
by: Fussner, Wesley, et al.
Published: (2024)
by: Fussner, Wesley, et al.
Published: (2024)
Relative consistency of Set Matrix Theory with ZF
by: Cabbolet, Marcoen J. T. F.
Published: (2024)
by: Cabbolet, Marcoen J. T. F.
Published: (2024)
The Ordering Principle and Dependent Choice
by: Holy, Peter, et al.
Published: (2025)
by: Holy, Peter, et al.
Published: (2025)
The Ordering Principle and Higher Dependent Choice
by: Holy, Peter, et al.
Published: (2025)
by: Holy, Peter, et al.
Published: (2025)
Interpolation in Hájek's Basic Logic
by: Fussner, Wesley, et al.
Published: (2024)
by: Fussner, Wesley, et al.
Published: (2024)
Continuous and algebraic domains in univalent foundations
by: de Jong, Tom, et al.
Published: (2024)
by: de Jong, Tom, et al.
Published: (2024)
Diamonds and Dominoes: Impossibility Results for Associative Modal Logics
by: Knudstorp, Søren Brinck
Published: (2025)
by: Knudstorp, Søren Brinck
Published: (2025)
A note on the theory of well orders
by: Jeřábek, Emil
Published: (2024)
by: Jeřábek, Emil
Published: (2024)
Free five-valued Nelson Algebras
by: Cornejo, Juan Manuel, et al.
Published: (2025)
by: Cornejo, Juan Manuel, et al.
Published: (2025)
Minimal Axiomatization of Boolean Algebras
by: Zhang, Eugene
Published: (2023)
by: Zhang, Eugene
Published: (2023)
Modal logic, fundamentally
by: Holliday, Wesley H.
Published: (2024)
by: Holliday, Wesley H.
Published: (2024)
Reflection ranks via infinitary derivations
by: Walsh, James
Published: (2021)
by: Walsh, James
Published: (2021)
An ordinal analysis of CM and its extensions
by: Wang, Shuwei
Published: (2025)
by: Wang, Shuwei
Published: (2025)
An order-reversing embedding of Turing degrees into Arthur-Nimue-Merlin degrees
by: Samra, Jean Abou, et al.
Published: (2026)
by: Samra, Jean Abou, et al.
Published: (2026)
Assume-guarantee contract algebras are dp-algebras
by: Castiglioni, Jose Luis, et al.
Published: (2024)
by: Castiglioni, Jose Luis, et al.
Published: (2024)
On the Rainbow Ramsey theorem and the Canonical Ramsey Theorem for pairs without AC
by: Banerjee, Amitayu, et al.
Published: (2024)
by: Banerjee, Amitayu, et al.
Published: (2024)
Normal forms and representable functions in Moisil logic
by: Sipos, Andrei
Published: (2023)
by: Sipos, Andrei
Published: (2023)
Choice-free Dualities for Lattice Expansions: Application to Logics with a Negation Operator
by: Hartonas, Chrysafis
Published: (2023)
by: Hartonas, Chrysafis
Published: (2023)
Maehara Interpolation in Extensions of R-mingle
by: Fussner, Wesley, et al.
Published: (2025)
by: Fussner, Wesley, et al.
Published: (2025)
Ivanova contact join-semilattices are not finitely axiomatizable
by: Lipparini, Paolo
Published: (2023)
by: Lipparini, Paolo
Published: (2023)
Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics
by: Holliday, Wesley H.
Published: (2022)
by: Holliday, Wesley H.
Published: (2022)
Ordinal Analysis of Well-Ordering Principles, Well Quasi-Orders Closure Properties, and $Σ_n$-Collection Schema
by: Buriola, Gabriele, et al.
Published: (2025)
by: Buriola, Gabriele, et al.
Published: (2025)
A Classifying Topos for the Spectrum of Equivalences
by: Oggad, Kenan
Published: (2026)
by: Oggad, Kenan
Published: (2026)
Linear Orders in Presburger Arithmetic
by: Pakhomov, Fedor, et al.
Published: (2022)
by: Pakhomov, Fedor, et al.
Published: (2022)
The Axiom of Double Complement and its opposites
by: Jeon, Hanul, et al.
Published: (2026)
by: Jeon, Hanul, et al.
Published: (2026)
Relational Models for the Lambek Calculus with Intersection and Constants
by: Kuznetsov, Stepan L.
Published: (2022)
by: Kuznetsov, Stepan L.
Published: (2022)