Buchumschlag

Coexact completion of profinite Heyting algebras and uniform interpolation

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Ye, Lingyuan
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Logic Logic in Computer Science Category Theory 06D20, 03C40, 03B20
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Degree of Satisfiability in Heyting Algebras
von: Bumpus, Benjamin Merlin, et al.
Veröffentlicht: (2021)

Domains and Classifying Topoi
von: Sterling, Jonathan, et al.
Veröffentlicht: (2025)

Apartness relations between propositions
von: Kocsis, Zoltan A.
Veröffentlicht: (2022)

Colimits of Heyting Algebras through Esakia Duality
von: Almeida, Rodrigo Nicolau
Veröffentlicht: (2024)

Duality theory for categorical theories
von: Ye, Lingyuan
Veröffentlicht: (2026)

On actions and split extensions in varieties of hoops: the case of strong section
von: Mancini, Manuel, et al.
Veröffentlicht: (2025)

Stack Representation of Finitely Presented Heyting Pretoposes I
von: Ye, Lingyuan
Veröffentlicht: (2024)

Intuitionism and computing with partial information
von: Ganchev, Hristo, et al.
Veröffentlicht: (2026)

Intuitionistic Sahlqvist theory for deductive systems
von: Fornasiere, Damiano, et al.
Veröffentlicht: (2022)

A non-uniform view of Craig interpolation in modal logics with linear frames
von: Kurucz, Agi, et al.
Veröffentlicht: (2023)

Possibility Semantics
von: Holliday, Wesley H.
Veröffentlicht: (2024)

The prime spectrum of an $L$-algebra
von: Rump, W., et al.
Veröffentlicht: (2022)

Two-dimensional Kripke Semantics II: Stability and Completeness
von: Kavvos, G. A.
Veröffentlicht: (2024)

Taking model-complete cores
von: Bodirsky, Manuel, et al.
Veröffentlicht: (2025)

Two-dimensional Kripke Semantics I: Presheaves
von: Kavvos, G. A.
Veröffentlicht: (2024)

Implications in pseudocomplemented and Stone lattices
von: Chajda, Ivan, et al.
Veröffentlicht: (2024)

Biased elementary doctrines and quotient completions
von: Cioffo, Cipriano Junior
Veröffentlicht: (2023)

Extending conceptual completeness via virtual ultracategories
von: Saadia, Gabriel
Veröffentlicht: (2025)

Connexive logics and connexive semi-Heyting algebras
von: Cornejo, Juan M., et al.
Veröffentlicht: (2025)

Quasivarieties of p-algebras: some new results
von: Kowalski, Tomasz, et al.
Veröffentlicht: (2024)

Intuitionistic Common Knowledge
von: Zenger, Lukas
Veröffentlicht: (2026)

Uniform Interpolation
von: van Gool, Sam
Veröffentlicht: (2025)

Modal group theory: homomorphisms
von: Wołoszyn, Wojciech Aleksander
Veröffentlicht: (2026)

Categorical structure in coherent theory of arithmetic
von: Ye, Lingyuan
Veröffentlicht: (2023)

Definability of complex functions in o-minimal structures
von: Padgett, Adele, et al.
Veröffentlicht: (2025)

Craig Interpolation for Subgeometric Logics
von: Di Liberti, Ivan, et al.
Veröffentlicht: (2026)

Profunctorial algebras
von: Aristote, Quentin, et al.
Veröffentlicht: (2026)

A simplified lower bound for implicational logic
von: Jeřábek, Emil
Veröffentlicht: (2023)

Kripke-Joyal forcing for type theory and uniform fibrations
von: Awodey, S., et al.
Veröffentlicht: (2021)

Existential completions and Herbrand's theorem
von: Wrigley, Joshua L.
Veröffentlicht: (2025)

An explicit Kuznetsov-Muravitsky enrichment
von: Jibladze, Mamuka, et al.
Veröffentlicht: (2024)

Modal group theory
von: Wołoszyn, Wojciech Aleksander
Veröffentlicht: (2026)

Implicative models of set theory
von: Maschio, Samuele, et al.
Veröffentlicht: (2023)

Algebraic Type Theory, Part 1: Martin-Löf algebras
von: Awodey, Steve
Veröffentlicht: (2025)

Semi-Algebraic Proof Systems for QBF
von: Beyersdorff, Olaf, et al.
Veröffentlicht: (2025)

Proof-theoretic methods in quantifier-free definability
von: Kocsis, Zoltan A.
Veröffentlicht: (2023)

Preconditionals
von: Holliday, Wesley H.
Veröffentlicht: (2024)

On the equational theory of finite modular lattices
von: Herrmann, Christian
Veröffentlicht: (2024)

Mechanised uniform interpolation for modal logics K, GL, and iSL
von: Férée, Hugo, et al.
Veröffentlicht: (2024)

Algorithmically finite, universal, and $*$-universal groups
von: Andrews, Uri, et al.
Veröffentlicht: (2024)