Buchumschlag

On propositional logic semirings

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Li, Wenxi, Wang, Zhongzhi
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic 03B05, 13P10, 16Y60
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

On Grobner-Shirshov bases for Markov semirings
von: Niu, Xiaohui, et al.
Veröffentlicht: (2024)

The finite basis problem for additively idempotent semirings of order four, I
von: Ren, Miaomiao, et al.
Veröffentlicht: (2024)

The finite basis problem for additively idempotent semirings of order four, III
von: Ren, Miaomiao, et al.
Veröffentlicht: (2025)

Equational theories of idempotent semifields
von: Metcalfe, George, et al.
Veröffentlicht: (2024)

Expressibility and inexpressibility in propositional team logics
von: Häggblom, Matilda, et al.
Veröffentlicht: (2025)

The finite basis problem for additively idempotent semirings that relate to S_7
von: Gao, Zidong, et al.
Veröffentlicht: (2025)

Relative injective modules, superstability and noetherian categories
von: Mazari-Armida, Marcos, et al.
Veröffentlicht: (2023)

In Memoriam Vadim Anatol'evich Yankov (1935-2024)
von: Citkin, Alex, et al.
Veröffentlicht: (2025)

Supertropical Monoids III: Factorization and splitting covers
von: Izhakian, Zur, et al.
Veröffentlicht: (2024)

The class of Krasner hyperfields is not elementary
von: Błaszkiewicz, Piotr, et al.
Veröffentlicht: (2024)

Distinguished elements in semiring extensions
von: Nasehpour, Peyman
Veröffentlicht: (2018)

The finite basis problem for the endomorphism semirings of finite semilattices
von: Dolinka, Igor, et al.
Veröffentlicht: (2025)

On the problem of stability of abstract elementary classes of modules
von: Paolini, Gianluca, et al.
Veröffentlicht: (2025)

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

Classical semirings
von: Behzadipour, Hussein, et al.
Veröffentlicht: (2024)

There are (other) ways to negate in propositional team semantics
von: Yang, Fan
Veröffentlicht: (2024)

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

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

Multiplicative logic in arithmetic
von: Zhuravlov, Volodymyr
Veröffentlicht: (2024)

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

Carnapian Frameworks and Categoricity of Arithmetic via Inferential $ω$-logics
von: Baldwin, John T., et al.
Veröffentlicht: (2026)

Verified Program Extraction in Number Theory: The Fundamental Theorem of Arithmetic and Relatives
von: Wiesnet, Franziskus
Veröffentlicht: (2025)

Possible and impossible conditionals for team logics
von: Barbero, Fausto, et al.
Veröffentlicht: (2026)

Reducts of fuzzy contexts: Formal concept analysis vs. rough set theory
von: Chen, Yuxu, et al.
Veröffentlicht: (2025)

A propositional cirquent calculus for computability logic
von: Japaridze, Giorgi
Veröffentlicht: (2024)

Algorithmic Randomness, Effective Disintegrations, and Rates of Convergence to the Truth
von: Huttegger, Simon M., et al.
Veröffentlicht: (2024)

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

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

Labeled Sequent Calculus and Countermodel Construction for Justification Logics
von: Ghari, Meghdad
Veröffentlicht: (2014)

Axiomatizing modal inclusion logic and its variants
von: Anttila, Aleksi, et al.
Veröffentlicht: (2023)

SAT Solving Using XOR-OR-AND Normal Forms
von: Andraschko, Bernhard, et al.
Veröffentlicht: (2023)

Characterization and examples of commutative isoartinian rings
von: Daneshvar, Asghar, et al.
Veröffentlicht: (2024)

Retractors in local positive logic
von: Fanlo, Arturo Rodriguez, et al.
Veröffentlicht: (2024)

Completeness in local positive logic
von: Fanlo, Arturo Rodriguez, et al.
Veröffentlicht: (2024)

Equivalence of finite non-deterministic logical matrices is undecidable
von: Caleiro, Carlos, et al.
Veröffentlicht: (2024)

The finite basis problem for endomorphism semirings of finite chains
von: Gusev, Sergey V., et al.
Veröffentlicht: (2023)

Decidability for the theory of modules over a Prüfer domain
von: Gregory, Lorna
Veröffentlicht: (2021)

Preservation theorems on sparse classes revisited
von: Dawar, Anuj, et al.
Veröffentlicht: (2024)

The Ramsey property and higher dimensional mad families
von: Schrittesser, David, et al.
Veröffentlicht: (2020)

Deconstructible classes of modules and stability
von: Mazari-Armida, Marcos, et al.
Veröffentlicht: (2025)