Image de couverture de livre

Duality for Normal Lattice Expansions and Sorted, Residuated Frames with Relations

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Hartonas, Chrysafis
Format:	Preprint
Publié:	2021
Sujets:	Logic Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Choice-free Dualities for Lattice Expansions: Application to Logics with a Negation Operator
par: Hartonas, Chrysafis
Publié: (2023)

Distribution-Free Normal Modal Logics
par: Hartonas, Chrysafis
Publié: (2024)

A General (Uniform) Relational Semantics for Sentential Logics
par: Hartonas, Chrysafis
Publié: (2025)

Distribution-Free Modal Logics: Sahlqvist -- Van Benthem Correspondence
par: Chrysafis, et autres
Publié: (2025)

Reconciliation of Approaches to the Semantics of Logics without Distribution
par: Hartonas, Chrysafis
Publié: (2021)

A Characterization Result for Non-Distributive Logics
par: Chrysafis, et autres
Publié: (2020)

Duality for Constructive Modal Logics: from Sahqlvist to Goldblatt-Thomason
par: de Groot, Jim, et autres
Publié: (2026)

Topological Dualities for Modal Algebras
par: Collinson, Matthew
Publié: (2026)

Locality in Residuated-Lattice Structures
par: Carr, James
Publié: (2025)

The Pebble-Relation Comonad in Finite Model Theory
par: Montacute, Yoàv, et autres
Publié: (2021)

Relational semantics for flat Heyting-Lewis Logic
par: de Groot, Jim, et autres
Publié: (2026)

Saturating Sorting without Sorts
par: Georgiou, Pamina, et autres
Publié: (2024)

Completeness of Relational Algebra via Cylindric Algebra
par: Laštovička, Jan
Publié: (2026)

The Relational Quotient Completion
par: Dagnino, Francesco, et autres
Publié: (2024)

Extensional Taylor Expansion
par: Blondeau-Patissier, Lison, et autres
Publié: (2023)

Relating homotopy equivalences to conservativity in dependent type theories with computation axioms
par: Spadetto, Matteo
Publié: (2023)

Duality theory and representations for distributive quasi relation algebras and DInFL-algebras
par: Craig, Andrew, et autres
Publié: (2025)

Complete Quantum Relational Hoare Logics from Optimal Transport Duality
par: Barthe, Gilles, et autres
Publié: (2025)

Duality for Fitting's Multi-valued Modal logic via bitopology and biVietoris coalgebra
par: Das, Litan Kumar, et autres
Publié: (2023)

Normalization for multimodal type theory
par: Gratzer, Daniel
Publié: (2023)

Symmetries in Sorting
par: Choudhury, Vikraman, et autres
Publié: (2025)

Witnesses for Fixpoint Games on Lattices
par: König, Barbara, et autres
Publié: (2026)

List types for resource aware languages: an implicit name approach
par: Ghilezan, Silvia, et autres
Publié: (2021)

Bijective proofs for Eulerian numbers of types B and D
par: Santocanale, Luigi
Publié: (2021)

Gödel-McKinsey-Tarski and (not quite) Blok-Esakia for Heyting-Lewis Implication
par: de Groot, Jim, et autres
Publié: (2021)

Computing with Infinite Objects: the Gray Code Case
par: Spreen, Dieter, et autres
Publié: (2021)

Cyclic Implicit Complexity
par: Curzi, Gianluca, et autres
Publié: (2021)

The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions
par: Oda, Yukihiro, et autres
Publié: (2021)

Dynamic Cantor Derivative Logic
par: Fernández-Duque, David, et autres
Publié: (2021)

On Small Types in Univalent Foundations
par: de Jong, Tom, et autres
Publié: (2021)

Universal Horn Sentences and the Joint Embedding Property
par: Bodirsky, Manuel, et autres
Publié: (2021)

Comparing and Contrasting Arrow's Impossibility Theorem and Gödel's Incompleteness Theorem
par: Livson, Ori, et autres
Publié: (2025)

A study of cut-elimination for a non-labelled cyclic proof system for propositional dynamic logics
par: Oda, Yukihiro
Publié: (2025)

Abstract computation over first-order structures. Part IIa: Moschovakis' operator and other non-determinisms
par: Gaßner, Christine
Publié: (2025)

Demystifying $μ$
par: Afshari, Bahareh, et autres
Publié: (2024)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
par: Artale, Alessandro, et autres
Publié: (2025)

Proof-theoretic Semantics for Second-order Logic
par: Gheorghiu, Alexander V., et autres
Publié: (2025)

Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
par: Afshari, Bahareh, et autres
Publié: (2024)

Many-valued coalgebraic dynamic logics: Safety and strong completeness via reducibility
par: Hansen, Helle Hvid, et autres
Publié: (2025)

Generalized Decidability via Brouwer Trees
par: de Jong, Tom, et autres
Publié: (2026)