Buchumschlag

Balanced residuated partially ordered semigroups

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Bonzio, Stefano, Gil-Férez, José, Jipsen, Peter, Přenosil, Adam, Sugimoto, Melissa
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

On the structure of balanced residuated partially ordered monoids
von: Bonzio, Stefano, et al.
Veröffentlicht: (2024)

Locally Integral Involutive PO-Semigroups
von: Gil-Férez, José, et al.
Veröffentlicht: (2023)

Pointed lattice subreducts of varieties of residuated lattices
von: Přenosil, Adam
Veröffentlicht: (2023)

Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras
von: Alpay, Natanael, et al.
Veröffentlicht: (2022)

Duality theory and representations for distributive quasi relation algebras and DInFL-algebras
von: Craig, Andrew, et al.
Veröffentlicht: (2025)

Nagata products of bimodules over residuated lattices
von: Přenosil, Adam, et al.
Veröffentlicht: (2025)

Sequent calculi for first-order ST
von: Paoli, Francesco, et al.
Veröffentlicht: (2026)

Levin's and Prucnal's theorems on Medvedev's logic of finite problems
von: Přenosil, Adam
Veröffentlicht: (2024)

Duality for finitely valued algebras
von: Abbadini, Marco, et al.
Veröffentlicht: (2025)

Equational definitions of logical filters
von: Baldi, Michele Pra, et al.
Veröffentlicht: (2024)

Nelson algebras, residuated lattices and rough sets: A survey
von: Järvinen, Jouni, et al.
Veröffentlicht: (2024)

Complete representation by partial functions for signatures containing antidomain restriction
von: McLean, Brett
Veröffentlicht: (2023)

Modal weak Kleene logics: axiomatizations and relational semantics
von: Bonzio, Stefano, et al.
Veröffentlicht: (2024)

Proof-theoretic Semantics for Second-order Logic
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2025)

Countability constraints in order-theoretic approaches to computability
von: Hack, Pedro, et al.
Veröffentlicht: (2022)

Proof-theoretic Semantics for First-order Logic
von: Gheorghiu, Alexander V.
Veröffentlicht: (2024)

On semantics of first-order justification logic with binding modalities
von: Yavorskaya, Tatiana, et al.
Veröffentlicht: (2025)

Pregroup representable expansions of residuated lattices
von: Craig, Andrew, et al.
Veröffentlicht: (2026)

A Linear Temporal Logic of Frequencies on Series of Events
von: Antonelli, Melissa, et al.
Veröffentlicht: (2026)

First-order Logic with Being a Thesis Modal Operator
von: Łyczak, Marcin
Veröffentlicht: (2024)

The proof theory and semantics of second-order (intuitionistic) tense logic
von: Becker, Justus, et al.
Veröffentlicht: (2026)

A linear proof language for second-order intuitionistic linear logic
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2023)

On the expressive power of inquisitive team logic and inquisitive first-order logic
von: Kontinen, Juha, et al.
Veröffentlicht: (2026)

The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions
von: Oda, Yukihiro, et al.
Veröffentlicht: (2021)

Decomposing graphs into stable and ordered parts
von: Buffière, Hector, et al.
Veröffentlicht: (2025)

Persistent homology of partially ordered spaces
von: Calk, Cameron, et al.
Veröffentlicht: (2023)

Abstract computation over first-order structures. Part IIa: Moschovakis' operator and other non-determinisms
von: Gaßner, Christine
Veröffentlicht: (2025)

Abstract computation over first-order structures. Part IIb: Moschovakis' operator and other non-determinisms
von: Gaßner, Christine
Veröffentlicht: (2025)

Abstract computation over first-order structures. Part I: Deterministic and non-deterministic BSS RAMs
von: Gaßner, Christine
Veröffentlicht: (2025)

Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language
von: Powell, Thomas
Veröffentlicht: (2023)

Making first order linear logic a generating grammar
von: Slavnov, Sergey
Veröffentlicht: (2022)

An order out of nowhere: a new algorithm for infinite-domain CSPs
von: Mottet, Antoine, et al.
Veröffentlicht: (2023)

Collusion Relations and their Applications to Balance Theory
von: Joinet, Jean-Baptiste, et al.
Veröffentlicht: (2026)

Unification in Matching Logic -- Revisited
von: Kurucz, Ádám, et al.
Veröffentlicht: (2024)

Pairwise Independence of Representation, Classification, and Composition in Finite Extensional Magmas
von: Palmieri, Stefano
Veröffentlicht: (2026)

Proof systems for partial incorrectness logic (partial reverse Hoare logic)
von: Oda, Yukihiro
Veröffentlicht: (2025)

Equivalence of multiset-based consequence relations
von: Madanshekaf, Ali, et al.
Veröffentlicht: (2024)

One is all you need: Second-order Unification without First-order Variables
von: Cerna, David M., et al.
Veröffentlicht: (2024)

On first-order transductions of classes of graphs
von: Braunfeld, Samuel, et al.
Veröffentlicht: (2022)

Arity hierarchies for quantifiers closed under partial polymorphisms
von: Dawar, Anuj, et al.
Veröffentlicht: (2025)