Image de couverture de livre

Assume-guarantee contract algebras are dp-algebras

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Castiglioni, Jose Luis, Ertola-Biraben, Rodolfo
Format:	Preprint
Publié:	2024
Sujets:	Logic in Computer Science Rings and Algebras 03G25, 06D30, 08B99 F.3.1
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Congruence Extensions in Congruence-modular Varieties
par: Georgescu, George, et autres
Publié: (2020)

L-algebras and their ideals: from simplicity to semidirect products
par: Properzi, Silvia, et autres
Publié: (2025)

Ivanova contact join-semilattices are not finitely axiomatizable
par: Lipparini, Paolo
Publié: (2023)

Every complete atomic Boolean algebra is the ideal lattice of a cBCK-algebra
par: Evans, C. Matthew
Publié: (2021)

Rough sets semantics for the three-valued extension of first-order Priest's da Costa logic
par: Castiglioni, José Luis, et autres
Publié: (2025)

Hypercontact semilattices
par: Lipparini, Paolo
Publié: (2023)

Varieties of MV-monoids and positive MV-algebras
par: Abbadini, Marco, et autres
Publié: (2024)

Nilpotent BCK-algebras
par: Evans, C. Matthew
Publié: (2025)

Residuated lattices do not have the amalgamation property
par: Jipsen, Peter, et autres
Publié: (2025)

Representable distributive quasi relation algebras
par: Craig, Andrew, et autres
Publié: (2023)

Amalgamation in Semilinear Residuated Lattices
par: Fussner, Wesley, et autres
Publié: (2024)

Representability for distributive quasi relation algebras via nested sums
par: Craig, Andrew, et autres
Publié: (2025)

Model Theory of Local Real Closed SV-Rings of Finite Rank
par: Piepenborn, Ricardo Palomino
Publié: (2024)

Subresiduated Nelson Algebras
par: Lubomirsky, Noemí, et autres
Publié: (2024)

Connexive logics and connexive semi-Heyting algebras
par: Cornejo, Juan M., et autres
Publié: (2025)

Johnson's axioms revisited: Bases for Boolean algebras containing identities of associative type. I
par: Sankappanavar, Hanamantagouda P.
Publié: (2025)

The logic of bunched implications is undecidable
par: Galatos, Nick, et autres
Publié: (2026)

Interpolation in Hájek's Basic Logic
par: Fussner, Wesley, et autres
Publié: (2024)

Reconstructing Classical Algebras via Ternary Operations
par: Fatelo, Jorge, et autres
Publié: (2024)

Definability of band structures on posets
par: Kuperman, Joel, et autres
Publié: (2024)

Normal forms and representable functions in Moisil logic
par: Sipos, Andrei
Publié: (2023)

Free algebras and coproducts in varieties of Gödel algebras
par: Carai, Luca
Publié: (2024)

Polymorphism-homogeneity and universal algebraic geometry
par: Tóth, Endre, et autres
Publié: (2020)

Splittings in varieties of logic
par: Davey, Brian A., et autres
Publié: (2025)

On $\mathscr{T}$-based orthomodular dynamic algebras
par: Paseka, Jan, et autres
Publié: (2026)

Uniform terms and local elements
par: Zhuravlov, Volodymyr
Publié: (2024)

Foulis m-semilattices and their modules
par: Botur, Michal, et autres
Publié: (2025)

On the structure and theory of McCarthy algebras
par: Bonzio, Stefano, et autres
Publié: (2025)

Colimits of Heyting Algebras through Esakia Duality
par: Almeida, Rodrigo Nicolau
Publié: (2024)

Coherent Conditions: Algebraic Geometry for Arbitrary Classes of Algebras
par: van Nispen, K. R.
Publié: (2025)

Decidable varieties of p-algebras
par: Kowalski, Tomasz, et autres
Publié: (2024)

Unorthodox Algebras and their associated Unorthodox Logics
par: Sankappanavar, Hanamantagouda P.
Publié: (2025)

Semilinear idempotent distributive l-monoids
par: Santschi, Simon
Publié: (2022)

Kleene and Stone algebras of rough sets induced by reflexive relations
par: Järvinen, Jouni, et autres
Publié: (2026)

The fork and its role in unification of closure algebras
par: Düntsch, Ivo, et autres
Publié: (2023)

Computational and Categorical Frameworks of Finite Ternary $Γ$-Semirings: Foundations, Algorithms, and Industrial Modeling Applications
par: Gokavarapu, Chandrasekhar, et autres
Publié: (2025)

Amalgamation Property in the subvarieties of Gautama and Almost Gautama algebras
par: Cornejo, Juan M., et autres
Publié: (2024)

Full automorphism groups of the axial algebra for $M_{11}$ and related algebras
par: Shumba, Tendai M. Mudziiri, et autres
Publié: (2026)

Minus Partial Order in Regular Modules
par: Ungor, Burcu, et autres
Publié: (2019)

Conjugating trivial automorphisms of $\mathcal P(\mathbb N)/\mathrm{Fin}$
par: Brian, Will, et autres
Publié: (2024)