:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Chen, Yuxu, Liu, Jing, Shen, Lili, Tang, Xiaoye
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science 68P05, 03G10, 03B52
Online Access:	https://arxiv.org/abs/2509.13059
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Quantitative Linear Logic
by: Capucci, Matteo, et al.
Published: (2026)

A Cut-Free Sequent Calculus for the Analysis of Finite-Trace Properties in Concurrent Systems
by: Fusco, Ludovico, et al.
Published: (2025)

Logical reduction of relations: from relational databases to Peirce's reduction thesis
by: Koshkin, Sergiy
Published: (2024)

Complexities of Well-Quasi-Ordered Substructural Logics
by: Galatos, Nikolaos, et al.
Published: (2025)

Exploring P versus NP
by: Tang, Jian-Gang
Published: (2022)

The Sigma-max System Induced from Randomness & Fuzziness and its Application in Time Series Prediction
by: Mei, Wei, et al.
Published: (2021)

Logic families
by: Andréka, H., et al.
Published: (2023)

Computing Distinguishing Formulae for Threshold-Based Behavioural Distances
by: Forster, Jonas, et al.
Published: (2026)

The variety of coset relation algebras
by: Givant, Steven, et al.
Published: (2018)

The complexity of classifying continuous t-norms up to isomorphism
by: He, Jialiang, et al.
Published: (2024)

Left-continuous pseudo-t-norms on modular lattices
by: He, Peng, et al.
Published: (2025)

Algorithmic correspondence and analytic rules
by: De Domenico, Andrea, et al.
Published: (2022)

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

Logical connectives of fuzzy soft set theory
by: Acharjee, Santanu, et al.
Published: (2024)

Why the classes P and NP are not well-defined finitarily
by: Anand, Bhupinder Singh
Published: (2024)

Fractional Helly property and combinatorics of forking in NTP$_2$ theories
by: Chernikov, Artem, et al.
Published: (2026)

A Note on Switching Conditions for the Generalized Logical Connectives in Multiplicative Linear Logic
by: Nishimuta, Yuki, et al.
Published: (2018)

Algebraic Proof Theory for Infinitary Action Logic
by: Fussner, Wesley, et al.
Published: (2025)

Representability for distributive quasi relation algebras via nested sums
by: Craig, Andrew, et al.
Published: (2025)

Representable distributive quasi relation algebras
by: Craig, Andrew, et al.
Published: (2023)

Convex sets and Axiom of Choice
by: Yoshinobu, Yasuo
Published: (2026)

Normalization properties of $λμ$-calculus using realizability semantics
by: Battyanyi, Peter, et al.
Published: (2023)

Possibility Frames and Forcing for Modal Logic
by: Holliday, Wesley H.
Published: (2025)

A novel axiomatic approach to L-valued rough sets within an L-universe via inner product and outer product of L-subsets
by: Li, Lingqiang, et al.
Published: (2024)

Random expansions of finite structures with bounded degree
by: Koponen, Vera
Published: (2024)

Justification Logics in a Fuzzy Setting
by: Ghari, Meghdad
Published: (2014)

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

Finite models for positive combinatorial and exponential algebra
by: Alsulami, Tumadhir, et al.
Published: (2024)

Quantitative Graded Semantics and Spectra of Behavioural Metrics
by: Forster, Jonas, et al.
Published: (2023)

A Study of Abstract Elementary Classes in the context of Graphs
by: Rajan, Navaneetha Madaparambu
Published: (2023)

Encoding Argumentation Frameworks to Propositional Logic Systems
by: Tang, Shuai, et al.
Published: (2025)

Varieties defined by linear equations have the amalgamation property
by: Lipparini, Paolo
Published: (2021)

Bounded Ramsey's theorem for triples in computability theory
by: Patey, Ludovic, et al.
Published: (2026)

Algebraizable Weak Logics
by: Nakov, Georgi, et al.
Published: (2022)

Regressive versions of Hindman's Theorem
by: Carlucci, Lorenzo, et al.
Published: (2022)

On propositional logic semirings
by: Li, Wenxi, et al.
Published: (2024)

In Memoriam Vadim Anatol'evich Yankov (1935-2024)
by: Citkin, Alex, 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)

Ellis enveloping semigroups in real closed fields
by: Baro, Elías, et al.
Published: (2023)