Copertina

How to take cats together

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Carollo, Imanol Mozo
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic 06A06, 03G10
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Diagrams of opposition: an algebraic viewpoint
di: Wu, Chai Wah
Pubblicazione: (2024)

Correspondence Theory for Many-valued Modal Logic
di: Britz, Cecelia, et al.
Pubblicazione: (2024)

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

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

Blockwise Gluings And Amalgamation Failures in Integral Residuated Lattices
di: Giustarini, Valeria, et al.
Pubblicazione: (2024)

Reduced Products of Collapsing Algebras
di: Kurilić, Miloš S.
Pubblicazione: (2024)

Copies of Monomorphic Structures
di: Kurilić, Miloš S.
Pubblicazione: (2023)

Forcing With Copies of Uncountable Ordinals
di: Kurilić, Miloš S.
Pubblicazione: (2023)

Varieties generated by completions
di: Andréka, H., et al.
Pubblicazione: (2018)

Cutsets in ${\mathcal P}(X)$
di: Ginsburg, John, et al.
Pubblicazione: (2025)

Monotone infinitary operations on ordinals (extended version)
di: Lipparini, Paolo
Pubblicazione: (2025)

Free p-algebras revisited: an algebraic investigation of implication-free intuitionism
di: Kowalski, Tomasz, et al.
Pubblicazione: (2024)

Locally Integral Involutive PO-Semigroups
di: Gil-Férez, José, et al.
Pubblicazione: (2023)

Dense Chains, Antichains, and Universal Partial Orders Inside a Bounded Finite-One Degree
di: Cintioli, Patrizio
Pubblicazione: (2026)

Towards a Simplified Theory of Double Boolean Algebras: Axioms and Topological Representation
di: Howlader, Prosenjit, et al.
Pubblicazione: (2026)

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

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

Quantales carrying ortholattice structure
di: Botur, Michal, et al.
Pubblicazione: (2026)

Vaught's Conjecture and Theories of Partial Order Admitting a Finite Lexicographic Decomposition
di: Kurilić, Miloš S.
Pubblicazione: (2026)

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

Tukey-idempotency and strong p-points
di: Benhamou, Tom, et al.
Pubblicazione: (2025)

Preconditionals
di: Holliday, Wesley H.
Pubblicazione: (2024)

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

Intuitionism and computing with partial information
di: Ganchev, Hristo, et al.
Pubblicazione: (2026)

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

Towards Better: A motivated introduction to better-quasi-orders
di: Pequignot, Yann
Pubblicazione: (2016)

Decidable varieties of p-algebras
di: Kowalski, Tomasz, et al.
Pubblicazione: (2024)

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

Representable distributive quasi relation algebras
di: Craig, Andrew, et al.
Pubblicazione: (2023)

Bourbaki--Zorn Normal Forms for Maximality Arguments
di: Liu, You-Chang
Pubblicazione: (2026)

Generalized sums of linear orders
di: Ramos, Álvaro Díaz, et al.
Pubblicazione: (2025)

Maximal order types for sequences with gap condition
di: Uftring, Patrick
Pubblicazione: (2025)

On the universal completions of pointfree function spaces
di: Carollo, Imanol Mozo
Pubblicazione: (2025)

Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics
di: Holliday, Wesley H.
Pubblicazione: (2022)

Tense logics based on posets
di: Chajda, Ivan, et al.
Pubblicazione: (2024)

Diamonds and Dominoes: Impossibility Results for Associative Modal Logics
di: Knudstorp, Søren Brinck
Pubblicazione: (2025)

The countable condensation on linear orders
di: Brown, Jennifer, et al.
Pubblicazione: (2025)

Generalized Higman's Theorem and iterated ideals
di: Pakhomov, Fedor, et al.
Pubblicazione: (2025)

On orthoposets of numerical events in quantum logic
di: Dorninger, Dietmar, et al.
Pubblicazione: (2026)

Embeddings into the generic poset
di: Kwiatkowska, Aleksandra, et al.
Pubblicazione: (2025)