Cover Image

Free five-valued Nelson Algebras

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Cornejo, Juan Manuel, Gallardo, Andrés, Monteiro, Luiz F., Viglizzo, Ignacio
Format:	Preprint
Published:	2025
Subjects:	Logic 03G25
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Subresiduated Nelson Algebras
by: Lubomirsky, Noemí, et al.
Published: (2024)

Coalgebraic Modal Logic for Dynamic Systems with Uncertainty
by: Gallardo, Andrés, et al.
Published: (2024)

Minimal Axiomatization of Boolean Algebras
by: Zhang, Eugene
Published: (2023)

An Optimal 14-Symbol Hybrid Basis for BCH-Algebras
by: Ramani, Mahesh, et al.
Published: (2026)

Models for the common knowledge logic
by: Tanaka, Yoshihito
Published: (2024)

Extended Contact Algebras: Algebraic analysis and duality theory
by: Gruszczyński, Rafał, et al.
Published: (2025)

From Internal to External: Classical Models of ZF + PP + $\neg$AC
by: Gilson, Frank
Published: (2025)

On the structure of Bochvar algebras
by: Bonzio, Stefano, et al.
Published: (2023)

Maehara Interpolation in Extensions of R-mingle
by: Fussner, Wesley, et al.
Published: (2025)

Relation Algebras Compatible with $\mathbb{Z}_2$-sets
by: Alm, Jeremy F., et al.
Published: (2025)

Conditional algebras
by: Celani, Sergio, et al.
Published: (2024)

Normal forms and representable functions in Moisil logic
by: Sipos, Andrei
Published: (2023)

Amalgamation Property in the subvarieties of Gautama and Almost Gautama algebras
by: Cornejo, Juan M., et al.
Published: (2024)

Quantales carrying ortholattice structure
by: Botur, Michal, et al.
Published: (2026)

Bochvar algebras: A categorical equivalence and the generated variety
by: Bonzio, Stefano, et al.
Published: (2024)

Encoding Sequences in Intuitionistic Real Algebra
by: Erdélyi-Szabó, Miklós
Published: (2025)

Term algebras of elementarily equivalent atom structures
by: Andréka, H., et al.
Published: (2018)

Tense logics based on posets
by: Chajda, Ivan, et al.
Published: (2024)

Monk Algebras and Representability
by: Alm, Jeremy F.
Published: (2025)

Generalized Kripke's Schema and the Expressive Power of Intuitionistic Real Algebra
by: Erdélyi-Szabó, Miklós
Published: (2024)

Constructing crowded Hausdorff $P$-spaces in set theory without the axiom of choice
by: Tachtsis, Eleftherios, et al.
Published: (2025)

Residuated lattices do not have the amalgamation property
by: Jipsen, Peter, et al.
Published: (2025)

Stone type representation theorems via games
by: Aslan, Tuğba, et al.
Published: (2018)

Decidable varieties of p-algebras
by: Kowalski, Tomasz, et al.
Published: (2024)

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

On the structure and theory of McCarthy algebras
by: Bonzio, Stefano, et al.
Published: (2025)

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

A category of arrow algebras for modified realizability
by: Tarantino, Umberto
Published: (2024)

The bottom of the lattice of BCK-varieties
by: Kowalski, Tomasz
Published: (2024)

Uniform Preorders and Partial Combinatory Algebras
by: Frey, Jonas
Published: (2024)

The singleton degrees of the $Σ^0_2$ sets are not dense
by: Kent, Thomas F., et al.
Published: (2024)

A Gentle Introduction to the Axiom of Choice
by: Blass, Andreas, et al.
Published: (2025)

A Note on Los's Theorem for Kripke-Joyal Semantics
by: Aiguier, Marc, et al.
Published: (2024)

A $j$-translation with Kripke forcing relation
by: Nakata, Satoshi
Published: (2026)

Interpolation in Hájek's Basic Logic
by: Fussner, Wesley, et al.
Published: (2024)

Clones of Borel Boolean Functions
by: Chen, Ruiyuan, et al.
Published: (2024)

On groups definable in $p$-adically closed fields
by: Pillay, Anand, et al.
Published: (2026)

Morita Rigidity for Kleene Algebras
by: Serafin, Luke
Published: (2025)

Cardinal Well-foundedness and Choice
by: Blass, Andreas, et al.
Published: (2023)

A One-Step Cascade Symmetric Model: Rank-$1$ Packets, Binary Shielding, and the Even Exact-Cardinality Profile
by: Gilson, Frank
Published: (2026)