Copertina

On a Generalization of Heyting Algebras I

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Tabatabai, Amirhossein Akbar, Alizadeh, Majid, Memarzadeh, Masoud
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2025)

An Introduction to Categorical Proof Theory
di: Tabatabai, Amirhossein Akbar
Pubblicazione: (2024)

On Geometric Implications
di: Tabatabai, Amirhossein Akbar
Pubblicazione: (2024)

Witnessing Flows in Arithmetic
di: Tabatabai, Amirhossein Akbar
Pubblicazione: (2024)

Proof Complexity and Feasible Interpolation
di: Tabatabai, Amirhossein Akbar
Pubblicazione: (2025)

Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2018)

Universal Proof Theory: Semi-analytic Rules and Craig Interpolation
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2018)

Proof Complexity of Linear Logics
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2026)

Predicative Ordinal Recursion on the Constructive Veblen Hierarchy
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2025)

Degree of Satisfiability in Heyting Algebras
di: Bumpus, Benjamin Merlin, et al.
Pubblicazione: (2021)

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

Colimits of Heyting Algebras through Esakia Duality
di: Almeida, Rodrigo Nicolau
Pubblicazione: (2024)

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

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

Coding-Logic Correspondence: Turning Information and Communication Networks into Logical Formulae via Hypergraph Heyting Algebra
di: Li, Cheuk Ting
Pubblicazione: (2025)

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

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

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

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

Stack Representation of Finitely Presented Heyting Pretoposes I
di: Ye, Lingyuan
Pubblicazione: (2024)

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

Hereditarily Structurally Complete Superintuitionistic Logics and Primitive Varieties of Heyting Algebras
di: Citkin, Alex
Pubblicazione: (2025)

Hennessy-Milner Type Theorems for Fuzzy Multimodal Logics Over Heyting Algebras
di: Stanković, Marko, et al.
Pubblicazione: (2025)

Completeness of Relational Algebra via Cylindric Algebra
di: Laštovička, Jan
Pubblicazione: (2026)

Deciding Equations in the Time Warp Algebra
di: van Gool, Sam, et al.
Pubblicazione: (2023)

Rings and Boolean Algebras as Algebraic Theories
di: De Faveri, Arturo
Pubblicazione: (2025)

On the Realizability of Prime Conjectures in Heyting Arithmetic
di: Rosko, Milan
Pubblicazione: (2025)

Topological Dualities for Modal Algebras
di: Collinson, Matthew
Pubblicazione: (2026)

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

$Π_{2}$-Rule Systems and Inductive Classes of Gödel Algebras
di: Almeida, Rodrigo Nicolau
Pubblicazione: (2023)

Conjunctive Table Algebras
di: Kötters, Jens, et al.
Pubblicazione: (2024)

The Algebras of Lewis's Counterfactuals
di: Rosella, Giuliano, et al.
Pubblicazione: (2024)

Nonembeddings of Combinatory Algebras
di: Lutz, Patrick, et al.
Pubblicazione: (2026)

Cardinality and Representation of Stone Relation Algebras
di: Furusawa, Hitoshi, et al.
Pubblicazione: (2023)

A Proof Theory for Profinite Modal Algebras
di: De Berardinis, Matteo, et al.
Pubblicazione: (2025)

A new categorial equivalence for Stone Algebras
di: Calomino, Ismael, et al.
Pubblicazione: (2025)

A General Completeness Theorem for Skip-free Star Algebras
di: Kappé, Tobias, et al.
Pubblicazione: (2025)

Connexive logics and connexive semi-Heyting algebras
di: Cornejo, Juan M., et al.
Pubblicazione: (2025)

Characterizing Finitely Based Abelian Mal'cev Algebras
di: Muro, Mateo
Pubblicazione: (2024)