Copertina

On actions and split extensions in varieties of hoops: the case of strong section

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Mancini, Manuel, Metere, Giuseppe, Piazza, Federica
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Category Theory Logic 03B50, 03B52, 06B20, 06D35, 08C05, 18E13
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Coherent and ideal actions in ideally exact categories
di: Mancini, Manuel, et al.
Pubblicazione: (2025)

Rational Lukasiewicz logic and DMV-algebras
di: Gerla, Brunella
Pubblicazione: (2012)

A novel axiomatic approach to L-valued rough sets within an L-universe via inner product and outer product of L-subsets
di: Li, Lingqiang, et al.
Pubblicazione: (2024)

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

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

Maximality Principles in Modal Logic and the Axiom of Choice
di: Almeida, Rodrigo Nicolau, et al.
Pubblicazione: (2024)

Infinite convex geometries with lower semi-modularity and join semi-distributivity
di: Mata, Adam
Pubblicazione: (2025)

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

Fuzzy Galois connections on fuzzy sets
di: García, Javier Gutiérrez, et al.
Pubblicazione: (2017)

On pre-local tabularity above $\mathrm{S4}\times \mathrm{S4}$
di: Shapirovsky, Ilya B., et al.
Pubblicazione: (2025)

Frobenius reciprocity, modular connections, lattice isomorphism theorem and abstract principal ideals
di: Goswami, Amartya, et al.
Pubblicazione: (2025)

A characterization of Continuous Logic by using quantale-valued logics
di: Reyes, David, et al.
Pubblicazione: (2021)

Normal forms and representable functions in Moisil logic
di: Sipos, Andrei
Pubblicazione: (2023)

A Topos-Theoretic Semantics of Intuitionistic Modal Logic with an Application to the Logic of Branching Spacetime
di: Lambert, Michael J.
Pubblicazione: (2024)

On logical parameterizations and functional representability in local set theories
di: Hernández, Enrique Ruiz, et al.
Pubblicazione: (2021)

The Sup Connective in IMALL: A Categorical Semantics
di: Díaz-Caro, Alejandro, et al.
Pubblicazione: (2022)

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

Coexact completion of profinite Heyting algebras and uniform interpolation
di: Ye, Lingyuan
Pubblicazione: (2026)

Two-dimensional Kripke Semantics I: Presheaves
di: Kavvos, G. A.
Pubblicazione: (2024)

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

On the representability of actions of unital algebras
di: Mancini, Manuel, et al.
Pubblicazione: (2025)

Partial algebras and implications of (weak) matrix properties
di: Hoefnagel, Michael, et al.
Pubblicazione: (2024)

Biased elementary doctrines and quotient completions
di: Cioffo, Cipriano Junior
Pubblicazione: (2023)

Two-dimensional Kripke Semantics II: Stability and Completeness
di: Kavvos, G. A.
Pubblicazione: (2024)

Partition Principle without Choice via Symmetric Iterations and Sheaf-Toposes
di: Gilson, Frank
Pubblicazione: (2025)

Varieties of MV-monoids and positive MV-algebras
di: Abbadini, Marco, et al.
Pubblicazione: (2024)

Generalizations of The Finite Height Criterion for Local Tabularity
di: Shapirovsky, Ilya B.
Pubblicazione: (2025)

Congruence Extensions in Congruence-modular Varieties
di: Georgescu, George, et al.
Pubblicazione: (2020)

Equivalence of finite non-deterministic logical matrices is undecidable
di: Caleiro, Carlos, et al.
Pubblicazione: (2024)

A new representation of finite Hoops using a new type of product of structures
di: Botur, Michal
Pubblicazione: (2025)

Continuous and algebraic domains in univalent foundations
di: de Jong, Tom, et al.
Pubblicazione: (2024)

Freely adding one layer of quantifiers to a Boolean doctrine
di: Abbadini, Marco, et al.
Pubblicazione: (2024)

Degree of Satisfiability in Heyting Algebras
di: Bumpus, Benjamin Merlin, et al.
Pubblicazione: (2021)

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

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

Algebraic Type Theory, Part 1: Martin-Löf algebras
di: Awodey, Steve
Pubblicazione: (2025)

On Nash-Williams' Theorem regarding sequences with finite range
di: Pakhomov, Fedor, et al.
Pubblicazione: (2024)

Ordinal Analysis of Well-Ordering Principles, Well Quasi-Orders Closure Properties, and $Σ_n$-Collection Schema
di: Buriola, Gabriele, et al.
Pubblicazione: (2025)

Splittings in varieties of logic
di: Davey, Brian A., et al.
Pubblicazione: (2025)

Implications in pseudocomplemented and Stone lattices
di: Chajda, Ivan, et al.
Pubblicazione: (2024)