Copertina

A dual characterisation of simple and subdirectly-irreducible temporal Heyting algebras

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Alvarez, David Quinn
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Relational semantics for flat Heyting-Lewis Logic
di: de Groot, Jim, et al.
Pubblicazione: (2026)

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

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

Coexact completion of profinite Heyting algebras and uniform interpolation
di: Ye, Lingyuan
Pubblicazione: (2026)

Further remarks on the dual negation in team logics
di: Anttila, Aleksi
Pubblicazione: (2024)

On the preservation of unification type of Heyting algebras and interior algebras
di: Düntsch, Ivo, et al.
Pubblicazione: (2025)

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

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

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

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

Trees and spectra of Heyting algebras
di: Fornasiere, Damiano, et al.
Pubblicazione: (2024)

Etale algebras over finite Heyting algebras
di: Evgeny, Kuznetsov
Pubblicazione: (2024)

Simulation of Turing machines with analytic discrete ODEs: FPTIME and FPSPACE over the reals characterised with discrete ordinary differential equations
di: Blanc, Manon, et al.
Pubblicazione: (2023)

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

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

Base-extension Semantics for Intuitionistic Modal Logics
di: Buzoku, Yll, et al.
Pubblicazione: (2025)

Did Turing prove the undecidability of the halting problem?
di: Hamkins, Joel David, et al.
Pubblicazione: (2024)

Dynamic Cantor Derivative Logic
di: Fernández-Duque, David, et al.
Pubblicazione: (2021)

Base-extension Semantics for Modal Logic
di: Eckhardt, Timo, et al.
Pubblicazione: (2024)

Logical characterisations, rule formats and compositionality for input-output conformance simulation
di: Aceto, Luca, et al.
Pubblicazione: (2024)

Proof-theoretic Semantics for Second-order Logic
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2025)

From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2022)

Semantic Foundations of Reductive Reasoning
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2024)

Syntax and semantics of multi-adjoint normal logic programming
di: Cornejo, M. Eugenia, et al.
Pubblicazione: (2024)

Extended multi-adjoint logic programming
di: Cornejo, M. Eugenia, et al.
Pubblicazione: (2024)

Proof-theoretic Semantics for the Logic of Bunched Implications
di: Gu, Tao, et al.
Pubblicazione: (2023)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2023)

Tree Rewriting Calculi for Strictly Positive Logics
di: Santiago-Fernández, Sofía, et al.
Pubblicazione: (2025)

The Complexity of the Constructive Master Modality
di: Santiago-Fernández, Sofía, et al.
Pubblicazione: (2026)

A simple formalization of alpha-equivalence
di: Apinis, Kalmer, et al.
Pubblicazione: (2025)

On a Generalization of Heyting Algebras I
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2024)

On a Generalization of Heyting Algebras II
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2024)

A Logic of Inability
di: Wang, Shanxia
Pubblicazione: (2026)

A modal approach towards substitutions
di: Tu, Yaxin, et al.
Pubblicazione: (2025)

A logic for default deontic reasoning
di: Piazza, Mario, et al.
Pubblicazione: (2025)

A Study on Actions for Atomic Logics
di: Espejo-Boix, Raül
Pubblicazione: (2024)

A Logic of Secrecy on Simplicial Models
di: Wang, Shanxia
Pubblicazione: (2026)

A Cobham theorem for scalar multiplication
di: Hieronymi, Philipp, et al.
Pubblicazione: (2024)

A Coalgebraic Semantics for Intuitionistic Modal Logic
di: Almeida, Rodrigo Nicolau, et al.
Pubblicazione: (2024)

The Arithmetical Hierarchy: A Realizability-Theoretic Perspective
di: Kihara, Takayuki
Pubblicazione: (2024)