:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Düntsch, Ivo, Dzik, Wojciech
Format:	Preprint
Published:	2025
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2510.09455
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The fork and its role in unification of closure algebras
by: Düntsch, Ivo, et al.
Published: (2023)

Discrete dualities for some algebras from rough sets
by: Düntsch, Ivo, et al.
Published: (2026)

Etale algebras over finite Heyting algebras
by: Evgeny, Kuznetsov
Published: (2024)

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

Ultracontact algebras and stack systems
by: Carai, Luca, et al.
Published: (2026)

Observation algebras: Heyting algebra over coherence spaces
by: Brunet, Paul
Published: (2025)

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

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

Functions Definable by Numerical Set-Expressions
by: Pratt-Hartmann, Ian, et al.
Published: (2009)

Complex Algebras of Arithmetic
by: Düntsch, Ivo, et al.
Published: (2009)

A mixed logic with binary operators
by: Düntsch, Ivo, et al.
Published: (2024)

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

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

Towards a logic of affordances
by: Gruszczynski, Rafal, et al.
Published: (2025)

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

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

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

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

Finite coproducts, coregularity and coexactness for profinite interior algebras
by: De Berardinis, Matteo
Published: (2025)

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

Nominal anti-unification
by: Baumgartner, Alexander, et al.
Published: (2025)

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

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

A unification of graded and substructural logics
by: Hanukaev, Peter, et al.
Published: (2026)

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

Local structure of idempotent algebras I
by: Bulatov, Andrei A.
Published: (2020)

FILO -- automated unification in $\mathcal{FL}_0$
by: Morawska, Barbara, et al.
Published: (2025)

Implicative-orthomodular algebras
by: Ciungu, Lavinia Corina
Published: (2023)

Obligations and permissions, algebraically
by: De Domenico, Andrea, et al.
Published: (2024)

Hemi-Nelson algebras
by: Lubomirsky, Noemí, et al.
Published: (2026)

A logic of judgmental existence and its relation to proof irrelevance
by: Pezlar, Ivo
Published: (2024)

On the unification problem for GLP
by: Beklemishev, Lev D.
Published: (2024)

Stack Representation of Finitely Presented Heyting Pretoposes I
by: Ye, Lingyuan
Published: (2024)

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

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

Frex: dependently-typed algebraic simplification
by: Allais, Guillaume, et al.
Published: (2023)

Duality for finitely valued algebras
by: Abbadini, Marco, et al.
Published: (2025)

Centers of quantum-Wajsberg algebras
by: Ciungu, Lavinia Corina
Published: (2023)

Bounded depth in Hilbert algebras
by: Carai, Luca, et al.
Published: (2026)

Generalizations of quantum-Wajsberg algebras
by: Ciungu, Lavinia Corina
Published: (2024)