:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Li, Wenxi, Wang, Zhongzhi
Format:	Preprint
Published:	2024
Subjects:	Logic 03B05, 13P10, 16Y60
Online Access:	https://arxiv.org/abs/2401.09043
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On Grobner-Shirshov bases for Markov semirings
by: Niu, Xiaohui, et al.
Published: (2024)

Equational theories of idempotent semifields
by: Metcalfe, George, et al.
Published: (2024)

The finite basis problem for additively idempotent semirings of order four, I
by: Ren, Miaomiao, et al.
Published: (2024)

The finite basis problem for additively idempotent semirings of order four, III
by: Ren, Miaomiao, et al.
Published: (2025)

The finite basis problem for additively idempotent semirings that relate to S_7
by: Gao, Zidong, et al.
Published: (2025)

Expressibility and inexpressibility in propositional team logics
by: Häggblom, Matilda, et al.
Published: (2025)

Relative injective modules, superstability and noetherian categories
by: Mazari-Armida, Marcos, et al.
Published: (2023)

Supertropical Monoids III: Factorization and splitting covers
by: Izhakian, Zur, et al.
Published: (2024)

In Memoriam Vadim Anatol'evich Yankov (1935-2024)
by: Citkin, Alex, et al.
Published: (2025)

The class of Krasner hyperfields is not elementary
by: Błaszkiewicz, Piotr, et al.
Published: (2024)

Distinguished elements in semiring extensions
by: Nasehpour, Peyman
Published: (2018)

Nontrivial single axiom schemata and their quasi-nontriviality of Leśniewski-Ishimoto's propositional ontology $\bf L_1$
by: Inoué, Takao, et al.
Published: (2024)

On the problem of stability of abstract elementary classes of modules
by: Paolini, Gianluca, et al.
Published: (2025)

Verified Program Extraction in Number Theory: The Fundamental Theorem of Arithmetic and Relatives
by: Wiesnet, Franziskus
Published: (2025)

The finite basis problem for the endomorphism semirings of finite semilattices
by: Dolinka, Igor, et al.
Published: (2025)

Classical semirings
by: Behzadipour, Hussein, et al.
Published: (2024)

SAT Solving Using XOR-OR-AND Normal Forms
by: Andraschko, Bernhard, et al.
Published: (2023)

Decidability of the theory of modules over Prüfer domains with infinite residue fields
by: Gregory, Lorna, et al.
Published: (2017)

Decidability of the theory of modules over Prüfer domains with dense value groups
by: Gregory, Lorna, et al.
Published: (2019)

Analytic Ax-Kochen-Ersov theory with lifts of the residue field and value group
by: Bhardwaj, Neer, et al.
Published: (2024)

There are (other) ways to negate in propositional team semantics
by: Yang, Fan
Published: (2024)

A propositional cirquent calculus for computability logic
by: Japaridze, Giorgi
Published: (2024)

Algorithmic Randomness, Effective Disintegrations, and Rates of Convergence to the Truth
by: Huttegger, Simon M., et al.
Published: (2024)

Reducts of fuzzy contexts: Formal concept analysis vs. rough set theory
by: Chen, Yuxu, et al.
Published: (2025)

Categoricity for an inferential $ω$-logic and in $L_{ω_1,ω}$
by: Baldwin, John T., et al.
Published: (2026)

Carnapian Frameworks and Categoricity of Arithmetic via Inferential $ω$-logics
by: Baldwin, John T., et al.
Published: (2026)

Multiplicative logic in arithmetic
by: Zhuravlov, Volodymyr
Published: (2024)

Deconstructible classes of modules and stability
by: Mazari-Armida, Marcos, et al.
Published: (2025)

Labeled Sequent Calculus and Countermodel Construction for Justification Logics
by: Ghari, Meghdad
Published: (2014)

Constructive proofs for the standard translation of many-sorted to unsorted predicate logic
by: Oddsson, Hrafn Valtýr
Published: (2026)

Decidability for the theory of modules over a Prüfer domain
by: Gregory, Lorna
Published: (2021)

Characterization and examples of commutative isoartinian rings
by: Daneshvar, Asghar, et al.
Published: (2024)

Preservation theorems on sparse classes revisited
by: Dawar, Anuj, et al.
Published: (2024)

The finite basis problem for endomorphism semirings of finite chains
by: Gusev, Sergey V., et al.
Published: (2023)

Possible and impossible conditionals for team logics
by: Barbero, Fausto, et al.
Published: (2026)

The Ramsey property and higher dimensional mad families
by: Schrittesser, David, et al.
Published: (2020)

Equivalence of finite non-deterministic logical matrices is undecidable
by: Caleiro, Carlos, et al.
Published: (2024)

Nonstandard polynomials: algebraic properties and elementary equivalence
by: Myasnikov, Alexei, et al.
Published: (2024)

Axiomatizing modal inclusion logic and its variants
by: Anttila, Aleksi, et al.
Published: (2023)

Retractors in local positive logic
by: Fanlo, Arturo Rodriguez, et al.
Published: (2024)