Buchumschlag

Locally Integral Involutive PO-Semigroups

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Gil-Férez, José, Jipsen, Peter, Sugimoto, Melissa
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Logic 06F05 (Primary) 03G10, 06B15, 06E75 (Secondary)
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Diamonds and Dominoes: Impossibility Results for Associative Modal Logics
von: Knudstorp, Søren Brinck
Veröffentlicht: (2025)

Splittings in varieties of logic
von: Davey, Brian A., et al.
Veröffentlicht: (2025)

Blockwise Gluings And Amalgamation Failures in Integral Residuated Lattices
von: Giustarini, Valeria, et al.
Veröffentlicht: (2024)

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

An introduction to Lorenzen's "Algebraic and logistic investigations on free lattices" (1951)
von: Coquand, Thierry, et al.
Veröffentlicht: (2017)

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

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

Stone type representation theorems via games
von: Aslan, Tuğba, et al.
Veröffentlicht: (2018)

Walks on uncountable ordinals and non-structure theorems for higher Aronszajn lines
von: Inamdar, Tanmay, et al.
Veröffentlicht: (2024)

Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics
von: Holliday, Wesley H.
Veröffentlicht: (2022)

Free p-algebras revisited: an algebraic investigation of implication-free intuitionism
von: Kowalski, Tomasz, et al.
Veröffentlicht: (2024)

Amalgamation Property in the subvarieties of Gautama and Almost Gautama algebras
von: Cornejo, Juan M., et al.
Veröffentlicht: (2024)

Ultracontact algebras and stack systems
von: Carai, Luca, et al.
Veröffentlicht: (2026)

Generalized sums of linear orders
von: Ramos, Álvaro Díaz, et al.
Veröffentlicht: (2025)

Correspondence Theory for Many-valued Modal Logic
von: Britz, Cecelia, et al.
Veröffentlicht: (2024)

Decidable varieties of p-algebras
von: Kowalski, Tomasz, et al.
Veröffentlicht: (2024)

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

Hypercontact semilattices
von: Lipparini, Paolo
Veröffentlicht: (2023)

Filters and congruences in weakly complemented lattices
von: Jeufack, Yannick Léa Tenkeu, et al.
Veröffentlicht: (2025)

On the symmetry behind duality
von: Abbadini, Marco, et al.
Veröffentlicht: (2025)

Varieties generated by completions
von: Andréka, H., et al.
Veröffentlicht: (2018)

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

Some questions on entangled linear orders
von: Carroy, Raphaël, et al.
Veröffentlicht: (2025)

Cutsets in ${\mathcal P}(X)$
von: Ginsburg, John, et al.
Veröffentlicht: (2025)

Reduced Products of Collapsing Algebras
von: Kurilić, Miloš S.
Veröffentlicht: (2024)

Bourbaki--Zorn Normal Forms for Maximality Arguments
von: Liu, You-Chang
Veröffentlicht: (2026)

Operators Max L and Min U and duals of Boolean posets
von: Chajda, Ivan, et al.
Veröffentlicht: (2025)

A model theory of topology
von: Lipparini, Paolo
Veröffentlicht: (2022)

Local finiteness in varieties of MS4-algebras
von: Bezhanishvili, Guram, et al.
Veröffentlicht: (2023)

Local tabularity in MS4 with Casari's axiom
von: Meadors, Chase
Veröffentlicht: (2024)

Countably-categorical Boolean rings with distinguished ideals
von: Apps, Andrew
Veröffentlicht: (2021)

Johnson's axioms revisited: Bases for Boolean algebras containing identities of associative type. I
von: Sankappanavar, Hanamantagouda P.
Veröffentlicht: (2025)

Squares, scales and lines
von: Cummings, James
Veröffentlicht: (2025)

Almost refinement, reaping, and ultrafilter numbers
von: Brendle, Jörg, et al.
Veröffentlicht: (2024)

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

A universal characterization of standard Borel spaces
von: Chen, Ruiyuan
Veröffentlicht: (2019)

A calculus for modal compact Hausdorff spaces
von: Bezhanishvili, Nick, et al.
Veröffentlicht: (2024)

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

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

The bottom of the lattice of BCK-varieties
von: Kowalski, Tomasz
Veröffentlicht: (2024)