:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Wang, Juntao, Wang, Mei, Botero, William Zuluaga
Format:	Preprint
Published:	2026
Subjects:	Logic 03B47, 06B05
Online Access:	https://arxiv.org/abs/2601.22023
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On three-valued presentations of classical logic
by: da Ré, Bruno, et al.
Published: (2023)

Representable distributive quasi relation algebras
by: Craig, Andrew, et al.
Published: (2023)

Representability for distributive quasi relation algebras via nested sums
by: Craig, Andrew, et al.
Published: (2025)

Residuated lattices do not have the amalgamation property
by: Jipsen, Peter, et al.
Published: (2025)

Interpolation in Hájek's Basic Logic
by: Fussner, Wesley, et al.
Published: (2024)

Kripke-like models of Set Theory in Modal Residuated Logic
by: Moncayo, Jose, et al.
Published: (2024)

Quantitative Linear Logic
by: Capucci, Matteo, et al.
Published: (2026)

The prime spectrum of an $L$-algebra
by: Rump, W., et al.
Published: (2022)

Failure of the Blok-Esakia Theorem in the monadic setting
by: Bezhanishvili, Guram, et al.
Published: (2024)

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

The modal theory of linear orders
by: Wołoszyn, Wojciech Aleksander
Published: (2026)

Amalgamation in classes of involutive commutative residuated lattices
by: Jenei, Sándor
Published: (2020)

Rational Lukasiewicz logic and DMV-algebras
by: Gerla, Brunella
Published: (2012)

Term algebras of elementarily equivalent atom structures
by: Andréka, H., et al.
Published: (2018)

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

The most natural paradefinite logic relative to classical logic
by: Middelburg, C. A.
Published: (2026)

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

A note on the theory of well orders
by: Jeřábek, Emil
Published: (2024)

Elementary properties of free lattices II: Decidability of the universal theory
by: Nation, J. B., et al.
Published: (2025)

Elementary Properties of Free Lattices
by: Nation, J. B., et al.
Published: (2023)

Elementary properties of free lattices III: Undecidability of the full theory
by: Nation, J. B., et al.
Published: (2025)

Revisiting Interpolation in Relevant Logics
by: Fussner, Wesley, et al.
Published: (2025)

Free algebras and coproducts in varieties of Gödel algebras
by: Carai, Luca
Published: (2024)

Functional monadic ortholattices and locally finite $σ$-free polyadic ortholattices
by: Lin, Chun-Yu, et al.
Published: (2025)

ST and TS as Product and Sum
by: Blomet, Quentin, et al.
Published: (2024)

On rearrangement inequalities for T-norm logics
by: Wu, Chai Wah
Published: (2022)

Possibility Semantics
by: Holliday, Wesley H.
Published: (2024)

A mixed logic with binary operators
by: Düntsch, Ivo, et al.
Published: (2024)

Locally tabular products of modal logics
by: Shapirovsky, Ilya B., et al.
Published: (2024)

Generalized explosion principles
by: Basu, Sankha S., et al.
Published: (2023)

On the equational theory of finite modular lattices
by: Herrmann, Christian
Published: (2024)

Probabilistic consequence relations
by: Égré, Paul, et al.
Published: (2024)

Reasoning from hypotheses in *-continuous action lattices
by: Kuznetsov, Stepan L., et al.
Published: (2024)

Neighborhood and algebraic models for predicate modal logics with $ω$-rules
by: Tanaka, Yoshihito
Published: (2025)

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

On the categoricity of complete second order theories
by: Saarinen, Tapio, et al.
Published: (2024)

Amalgamation Property in the subvarieties of Gautama and Almost Gautama algebras
by: Cornejo, Juan M., et al.
Published: (2024)

Diagrams of opposition: an algebraic viewpoint
by: Wu, Chai Wah
Published: (2024)

Conditional reasoning and the shadows it casts onto the first-order logic: the Nelsonian case
by: Olkhovikov, Grigory
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)