Buchumschlag

Observation algebras: Heyting algebra over coherence spaces

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Brunet, Paul
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

A dual characterisation of simple and subdirectly-irreducible temporal Heyting algebras
von: Alvarez, David Quinn
Veröffentlicht: (2025)

Etale algebras over finite Heyting algebras
von: Evgeny, Kuznetsov
Veröffentlicht: (2024)

Coexact completion of profinite Heyting algebras and uniform interpolation
von: Ye, Lingyuan
Veröffentlicht: (2026)

Relational semantics for flat Heyting-Lewis Logic
von: de Groot, Jim, et al.
Veröffentlicht: (2026)

On the preservation of unification type of Heyting algebras and interior algebras
von: Düntsch, Ivo, et al.
Veröffentlicht: (2025)

Gödel-McKinsey-Tarski and (not quite) Blok-Esakia for Heyting-Lewis Implication
von: de Groot, Jim, et al.
Veröffentlicht: (2021)

Relational correspondences for L-fuzzy rough approximations defined on De Morgan Heyting algebras
von: Järvinen, Jouni, et al.
Veröffentlicht: (2023)

Trees and spectra of Heyting algebras
von: Fornasiere, Damiano, et al.
Veröffentlicht: (2024)

Difference-restriction algebras with operators
von: Borlido, Célia, et al.
Veröffentlicht: (2025)

Convex algebras on an interval with semicontinuous monotone operations
von: Sokolova, Ana, et al.
Veröffentlicht: (2026)

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

Monotone weak distributive laws over the lifted powerset monad in categories of algebras
von: Aristote, Quentin
Veröffentlicht: (2025)

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

Local structure of idempotent algebras I
von: Bulatov, Andrei A.
Veröffentlicht: (2020)

Representations
von: Brunet, Paul
Veröffentlicht: (2025)

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

About enveloping algebras of direct sums
von: Duchamp, Gérard Henry Edmond, et al.
Veröffentlicht: (2024)

Preservation theorems for Tarski's relation algebra
von: Bogaerts, Bart, et al.
Veröffentlicht: (2023)

Kleene algebra with commutativity conditions is undecidable
von: de Amorim, Arthur Azevedo, et al.
Veröffentlicht: (2024)

Contractions of quasi relation algebras and applications to representability
von: Craig, Andrew, et al.
Veröffentlicht: (2026)

Tree algebras and bisimulation-invariant MSO on finite graphs
von: Colcombet, Thomas, et al.
Veröffentlicht: (2024)

Local structure of idempotent algebras II
von: Bulatov, Andrei A.
Veröffentlicht: (2020)

Nominal semantics for predicate logic: algebras, substitution, quantifiers, and limits
von: Dowek, Gilles, et al.
Veröffentlicht: (2023)

A 2-adjunction between representations and preorder morphisms
von: Brunet, Paul
Veröffentlicht: (2026)

Cyclic system for an algebraic theory of alternating parity automata
von: Das, Anupam, et al.
Veröffentlicht: (2025)

An algebraic theory of ω-regular languages, via μν-expressions
von: Das, Anupam, et al.
Veröffentlicht: (2025)

Separating domains from algebraic domains
von: Jia, Xiaodong, et al.
Veröffentlicht: (2025)

A coherent differential PCF
von: Ehrhard, Thomas
Veröffentlicht: (2022)

On matrix rank function over bounded arithmetics
von: Ken, Eitetsu, et al.
Veröffentlicht: (2023)

An algebra modality admitting countably many deriving transformations
von: Vienney, Jean-Baptiste
Veröffentlicht: (2025)

Frex: dependently-typed algebraic simplification
von: Allais, Guillaume, et al.
Veröffentlicht: (2023)

Formalizing Hyperspaces and Operations on Subsets of Polish spaces over Abstract Exact Real Numbers
von: Konečný, Michal, et al.
Veröffentlicht: (2024)

Intentic Semantics for Potentialist Truthmaking
von: Gorbow, Paul
Veröffentlicht: (2026)

Generalization of terms via universal algebra
von: Flaminio, Tommaso, et al.
Veröffentlicht: (2025)

Formalizing a classification theorem for low-dimensional solvable Lie algebras in Lean
von: del Barco, Viviana, et al.
Veröffentlicht: (2025)

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)

On a Generalization of Heyting Algebras I
von: Tabatabai, Amirhossein Akbar, et al.
Veröffentlicht: (2024)

On a Generalization of Heyting Algebras II
von: Tabatabai, Amirhossein Akbar, et al.
Veröffentlicht: (2024)