Imagen de Portada

On a Generalization of Heyting Algebras I

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Tabatabai, Amirhossein Akbar, Alizadeh, Majid, Memarzadeh, Masoud
Formato:	Preprint
Publicado:	2024
Materias:	Logic
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

An Introduction to Categorical Proof Theory
por: Tabatabai, Amirhossein Akbar
Publicado: (2024)

On Geometric Implications
por: Tabatabai, Amirhossein Akbar
Publicado: (2024)

Witnessing Flows in Arithmetic
por: Tabatabai, Amirhossein Akbar
Publicado: (2024)

Proof Complexity and Feasible Interpolation
por: Tabatabai, Amirhossein Akbar
Publicado: (2025)

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

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

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

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

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

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

Colimits of Heyting Algebras through Esakia Duality
por: Almeida, Rodrigo Nicolau
Publicado: (2024)

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

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

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

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

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

Etale algebras over finite Heyting algebras
por: Evgeny, Kuznetsov
Publicado: (2024)

Observation algebras: Heyting algebra over coherence spaces
por: Brunet, Paul
Publicado: (2025)

Stack Representation of Finitely Presented Heyting Pretoposes I
por: Ye, Lingyuan
Publicado: (2024)

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

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

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

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

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

Rings and Boolean Algebras as Algebraic Theories
por: De Faveri, Arturo
Publicado: (2025)

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

Topological Dualities for Modal Algebras
por: Collinson, Matthew
Publicado: (2026)

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

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

Conjunctive Table Algebras
por: Kötters, Jens, et al.
Publicado: (2024)

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

Nonembeddings of Combinatory Algebras
por: Lutz, Patrick, et al.
Publicado: (2026)

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

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

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

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

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

Characterizing Finitely Based Abelian Mal'cev Algebras
por: Muro, Mateo
Publicado: (2024)