:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Craig, Andrew, Morton, Wilmari, Robinson, Claudette
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Logic in Computer Science
Accesso online:	https://arxiv.org/abs/2601.15811
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

Duality theory and representations for distributive quasi relation algebras and DInFL-algebras
di: Craig, Andrew, et al.
Pubblicazione: (2025)

Pregroup representable expansions of residuated lattices
di: Craig, Andrew, et al.
Pubblicazione: (2026)

Representing Sugihara monoids via weakening relations
di: Craig, Andrew, et al.
Pubblicazione: (2023)

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

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

Preservation theorems for Tarski's relation algebra
di: Bogaerts, Bart, et al.
Pubblicazione: (2023)

Difference-restriction algebras with operators
di: Borlido, Célia, et al.
Pubblicazione: (2025)

Complete representation by partial functions for signatures containing antidomain restriction
di: McLean, Brett
Pubblicazione: (2023)

Convex algebras on an interval with semicontinuous monotone operations
di: Sokolova, Ana, et al.
Pubblicazione: (2026)

Nelson algebras, residuated lattices and rough sets: A survey
di: Järvinen, Jouni, et al.
Pubblicazione: (2024)

Better Bounded Bisimulation Contractions (Preprint)
di: Bolander, Thomas, et al.
Pubblicazione: (2024)

A concrete model for a typed linear algebraic lambda calculus
di: Díaz-Caro, Alejandro, et al.
Pubblicazione: (2018)

A dual characterisation of simple and subdirectly-irreducible temporal Heyting algebras
di: Alvarez, David Quinn
Pubblicazione: (2025)

Constructive higher sheaf models with applications to synthetic mathematics
di: Coquand, Thierry, et al.
Pubblicazione: (2026)

Sound Conflict Analysis for Timed Contract Automata
di: Azzopardi, Shaun, et al.
Pubblicazione: (2024)

Intrinsic and relative characterization results for logics with negative modalities
di: de Groot, Jim, et al.
Pubblicazione: (2025)

Categorical Proof-Theoretic Semantics
di: Pym, David, et al.
Pubblicazione: (2023)

A logic of judgmental existence and its relation to proof irrelevance
di: Pezlar, Ivo
Pubblicazione: (2024)

Local structure of idempotent algebras I
di: Bulatov, Andrei A.
Pubblicazione: (2020)

On describing trees and quasi-trees from their leaves
di: Courcelle, Bruno
Pubblicazione: (2025)

Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification
di: Hozzová, Petra, et al.
Pubblicazione: (2024)

Observation algebras: Heyting algebra over coherence spaces
di: Brunet, Paul
Pubblicazione: (2025)

Contract-based Design and Verification of Multi-Agent Systems with Quantitative Temporal Requirements
di: Dewes, Rafael, et al.
Pubblicazione: (2024)

Logical foundations of Smart Contracts
di: Kalala, Kalonji
Pubblicazione: (2025)

Monitoring the Future of Smart Contracts
di: Capretto, Margarita, et al.
Pubblicazione: (2024)

Kleene algebra with commutativity conditions is undecidable
di: de Amorim, Arthur Azevedo, et al.
Pubblicazione: (2024)

Modular assurance of an Autonomous Ferry using Contract-Based Design and Simulation-based Verification Principles
di: Glomsrud, Jon Arne, et al.
Pubblicazione: (2024)

Alignment Contracts for Agentic Security Systems
di: David, Isaac, et al.
Pubblicazione: (2026)

The Category of Operator Spaces and Complete Contractions
di: Lindenhovius, Bert, et al.
Pubblicazione: (2024)

Defining implication relation for classical logic
di: Fu, Li
Pubblicazione: (2013)

Cauchy-completions and the rule of unique choice in relational doctrines
di: Dagnino, Francesco, et al.
Pubblicazione: (2024)

The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory
di: de Jong, Tom, et al.
Pubblicazione: (2026)

On Effective Banach-Mazur Games and an application to the Poincaré Recurrence Theorem for Category
di: Koul, Prajval, et al.
Pubblicazione: (2025)

About enveloping algebras of direct sums
di: Duchamp, Gérard Henry Edmond, et al.
Pubblicazione: (2024)

A categorical formulation of Kraus' paradox
di: Swan, Andrew W.
Pubblicazione: (2024)

Oracle modalities
di: Swan, Andrew W
Pubblicazione: (2024)

Satisfiability in Łukasiewicz logic and its unbounded relative
di: Haniková, Zuzana, et al.
Pubblicazione: (2025)

Composition and Merging of Assume-Guarantee Contracts Are Tensor Products
di: Incer, Inigo
Pubblicazione: (2024)

Cyclic system for an algebraic theory of alternating parity automata
di: Das, Anupam, et al.
Pubblicazione: (2025)