Buchumschlag

Subresiduated Nelson Algebras

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Lubomirsky, Noemí, Menchón, Paula, Martín, Hernán San
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic 06D30, 03G25
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Extended Contact Algebras: Algebraic analysis and duality theory
von: Gruszczyński, Rafał, et al.
Veröffentlicht: (2025)

Normal forms and representable functions in Moisil logic
von: Sipos, Andrei
Veröffentlicht: (2023)

Free five-valued Nelson Algebras
von: Cornejo, Juan Manuel, et al.
Veröffentlicht: (2025)

A mixed logic with binary operators
von: Düntsch, Ivo, et al.
Veröffentlicht: (2024)

Reconstructing Classical Algebras via Ternary Operations
von: Fatelo, Jorge, et al.
Veröffentlicht: (2024)

Intuitionism and computing with partial information
von: Ganchev, Hristo, et al.
Veröffentlicht: (2026)

Hemi-Nelson algebras
von: Lubomirsky, Noemí, et al.
Veröffentlicht: (2026)

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

\texorpdfstring{$D$}{D}-maximal many-one degrees contain least finite-one degrees
von: Cintioli, Patrizio
Veröffentlicht: (2026)

A computably enumerable many-one degree with no least finite-one degree
von: Cintioli, Patrizio
Veröffentlicht: (2026)

A Computably Enumerable $tt$-Degree Without Computably Enumerable Irreducible $m$-Degrees
von: Cintioli, Patrizio
Veröffentlicht: (2026)

Conjunctive reducibilities and completeness
von: Chitaia, Irakli, et al.
Veröffentlicht: (2026)

An Optimal 14-Symbol Hybrid Basis for BCH-Algebras
von: Ramani, Mahesh, et al.
Veröffentlicht: (2026)

Dense Chains, Antichains, and Universal Partial Orders Inside a Bounded Finite-One Degree
von: Cintioli, Patrizio
Veröffentlicht: (2026)

Decidable varieties of p-algebras
von: Kowalski, Tomasz, et al.
Veröffentlicht: (2024)

An explicit Kuznetsov-Muravitsky enrichment
von: Jibladze, Mamuka, et al.
Veröffentlicht: (2024)

Unorthodox Algebras and their associated Unorthodox Logics
von: Sankappanavar, Hanamantagouda P.
Veröffentlicht: (2025)

Conditional algebras
von: Celani, Sergio, et al.
Veröffentlicht: (2024)

Diamonds and Dominoes: Impossibility Results for Associative Modal Logics
von: Knudstorp, Søren Brinck
Veröffentlicht: (2025)

Johnson's axioms revisited: Bases for Boolean algebras containing identities of associative type. I
von: Sankappanavar, Hanamantagouda P.
Veröffentlicht: (2025)

Quantales carrying ortholattice structure
von: Botur, Michal, et al.
Veröffentlicht: (2026)

Regainingly approximable numbers and sets
von: Hertling, Peter, et al.
Veröffentlicht: (2023)

A topos for extended Weihrauch degrees
von: Maschio, Samuele, et al.
Veröffentlicht: (2025)

An order-reversing embedding of Turing degrees into Arthur-Nimue-Merlin degrees
von: Samra, Jean Abou, et al.
Veröffentlicht: (2026)

Assume-guarantee contract algebras are dp-algebras
von: Castiglioni, Jose Luis, et al.
Veröffentlicht: (2024)

Minimal Axiomatization of Boolean Algebras
von: Zhang, Eugene
Veröffentlicht: (2023)

The weakness of finding descending sequences in ill-founded linear orders
von: Goh, Jun Le, et al.
Veröffentlicht: (2024)

Finding descending sequences through ill-founded linear orders
von: Goh, Jun Le, et al.
Veröffentlicht: (2020)

Countable Ordered Groups and Weihrauch Reducibility
von: Li, Ang
Veröffentlicht: (2024)

L-algebras and their ideals: from simplicity to semidirect products
von: Properzi, Silvia, et al.
Veröffentlicht: (2025)

Robinson Splitting Theorem and $Σ_1$ Induction
von: Liu, Yong, et al.
Veröffentlicht: (2026)

From Internal to External: Classical Models of ZF + PP + $\neg$AC
von: Gilson, Frank
Veröffentlicht: (2025)

Possibility Semantics
von: Holliday, Wesley H.
Veröffentlicht: (2024)

On the equational theory of finite modular lattices
von: Herrmann, Christian
Veröffentlicht: (2024)

An introduction to Lorenzen's "Algebraic and logistic investigations on free lattices" (1951)
von: Coquand, Thierry, et al.
Veröffentlicht: (2017)

Correspondence Theory for Many-valued Modal Logic
von: Britz, Cecelia, et al.
Veröffentlicht: (2024)

Connexive logics and connexive semi-Heyting algebras
von: Cornejo, Juan M., et al.
Veröffentlicht: (2025)

The bottom of the lattice of BCK-varieties
von: Kowalski, Tomasz
Veröffentlicht: (2024)

Ultracontact algebras and stack systems
von: Carai, Luca, et al.
Veröffentlicht: (2026)

Maximality Principles in Modal Logic and the Axiom of Choice
von: Almeida, Rodrigo Nicolau, et al.
Veröffentlicht: (2024)