Buchumschlag

A categorical equivalence for monadic algebras of first-order substructural logics motivated by Kalman's construction

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Wang, Juntao, Wang, Mei, Botero, William Zuluaga
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Logic 03B47, 06B05
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

On three-valued presentations of classical logic
von: da Ré, Bruno, et al.
Veröffentlicht: (2023)

Representable distributive quasi relation algebras
von: Craig, Andrew, et al.
Veröffentlicht: (2023)

Representability for distributive quasi relation algebras via nested sums
von: Craig, Andrew, et al.
Veröffentlicht: (2025)

Residuated lattices do not have the amalgamation property
von: Jipsen, Peter, et al.
Veröffentlicht: (2025)

Interpolation in Hájek's Basic Logic
von: Fussner, Wesley, et al.
Veröffentlicht: (2024)

Kripke-like models of Set Theory in Modal Residuated Logic
von: Moncayo, Jose, et al.
Veröffentlicht: (2024)

Failure of the Blok-Esakia Theorem in the monadic setting
von: Bezhanishvili, Guram, et al.
Veröffentlicht: (2024)

Quantitative Linear Logic
von: Capucci, Matteo, et al.
Veröffentlicht: (2026)

The modal theory of linear orders
von: Wołoszyn, Wojciech Aleksander
Veröffentlicht: (2026)

Rational Lukasiewicz logic and DMV-algebras
von: Gerla, Brunella
Veröffentlicht: (2012)

The prime spectrum of an $L$-algebra
von: Rump, W., et al.
Veröffentlicht: (2022)

Term algebras of elementarily equivalent atom structures
von: Andréka, H., et al.
Veröffentlicht: (2018)

The logic of bunched implications is undecidable
von: Galatos, Nick, et al.
Veröffentlicht: (2026)

The most natural paradefinite logic relative to classical logic
von: Middelburg, C. A.
Veröffentlicht: (2026)

Elementary properties of free lattices II: Decidability of the universal theory
von: Nation, J. B., et al.
Veröffentlicht: (2025)

Elementary Properties of Free Lattices
von: Nation, J. B., et al.
Veröffentlicht: (2023)

Elementary properties of free lattices III: Undecidability of the full theory
von: Nation, J. B., et al.
Veröffentlicht: (2025)

(Extra)ordinary equivalences with the ascending/descending sequence principle
von: Fiori-Carones, Marta, et al.
Veröffentlicht: (2021)

ST and TS as Product and Sum
von: Blomet, Quentin, et al.
Veröffentlicht: (2024)

Maximal order types for sequences with gap condition
von: Uftring, Patrick
Veröffentlicht: (2025)

A note on the theory of well orders
von: Jeřábek, Emil
Veröffentlicht: (2024)

Amalgamation in classes of involutive commutative residuated lattices
von: Jenei, Sándor
Veröffentlicht: (2020)

Reasoning from hypotheses in *-continuous action lattices
von: Kuznetsov, Stepan L., et al.
Veröffentlicht: (2024)

Functional monadic ortholattices and locally finite $σ$-free polyadic ortholattices
von: Lin, Chun-Yu, et al.
Veröffentlicht: (2025)

Revisiting Interpolation in Relevant Logics
von: Fussner, Wesley, et al.
Veröffentlicht: (2025)

Generalized explosion principles
von: Basu, Sankha S., et al.
Veröffentlicht: (2023)

A mixed logic with binary operators
von: Düntsch, Ivo, et al.
Veröffentlicht: (2024)

Free algebras and coproducts in varieties of Gödel algebras
von: Carai, Luca
Veröffentlicht: (2024)

Probabilistic consequence relations
von: Égré, Paul, et al.
Veröffentlicht: (2024)

Conditional reasoning and the shadows it casts onto the first-order logic: the Nelsonian case
von: Olkhovikov, Grigory
Veröffentlicht: (2024)

On the equational theory of finite modular lattices
von: Herrmann, Christian
Veröffentlicht: (2024)

Locally tabular products of modal logics
von: Shapirovsky, Ilya B., et al.
Veröffentlicht: (2024)

Neighborhood and algebraic models for predicate modal logics with $ω$-rules
von: Tanaka, Yoshihito
Veröffentlicht: (2025)

Connexive implications in Substructural Logics
von: Fazio, Davide, et al.
Veröffentlicht: (2022)

Possibility Semantics
von: Holliday, Wesley H.
Veröffentlicht: (2024)

Failure of Esakia's theorem in the monadic setting
von: Bezhanishvili, Guram, et al.
Veröffentlicht: (2024)

Diagrams of opposition: an algebraic viewpoint
von: Wu, Chai Wah
Veröffentlicht: (2024)

On rearrangement inequalities for T-norm logics
von: Wu, Chai Wah
Veröffentlicht: (2022)

A diagrammatic proof-theoretic semantics for the Greimas semiotic square
von: Fowler, Michael
Veröffentlicht: (2026)

Rule-Elimination Theorems
von: Roy, Sayantan
Veröffentlicht: (2024)