:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Li, Lingqiang, Jin, Qiu
Format:	Preprint
Published:	2024
Subjects:	Logic 03B52, 06B23
Online Access:	https://arxiv.org/abs/2408.08157
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Infinite convex geometries with lower semi-modularity and join semi-distributivity
by: Mata, Adam
Published: (2025)

Undecidable translational tilings with only two tiles, or one nonabelian tile
by: Greenfeld, Rachel, et al.
Published: (2021)

The structure of rough sets defined by reflexive relations
by: Järvinen, Jouni, et al.
Published: (2024)

Some variants of the periodic tiling conjecture
by: Greenfeld, Rachel, et al.
Published: (2025)

Discrete dualities for some algebras from rough sets
by: Düntsch, Ivo, et al.
Published: (2026)

Kleene and Stone algebras of rough sets induced by reflexive relations
by: Järvinen, Jouni, et al.
Published: (2026)

Functional monadic ortholattices and locally finite $σ$-free polyadic ortholattices
by: Lin, Chun-Yu, et al.
Published: (2025)

Sections and projections of the outer and inner regularizations of a convex body
by: Tziotziou, Natalia
Published: (2025)

Preconditionals
by: Holliday, Wesley H.
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 axiomatization of $\textbf{GL}\times\textbf{S5}$ and $\textbf{Grz}\times\textbf{S5}$
by: Bezhanishvili, Guram, et al.
Published: (2025)

On actions and split extensions in varieties of hoops: the case of strong section
by: Mancini, Manuel, et al.
Published: (2025)

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

Fuzzy Galois connections on fuzzy sets
by: García, Javier Gutiérrez, et al.
Published: (2017)

Varieties generated by completions
by: Andréka, H., et al.
Published: (2018)

Locally tabular products of modal logics
by: Shapirovsky, Ilya B., et al.
Published: (2024)

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

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

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

Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics
by: Holliday, Wesley H.
Published: (2022)

Failure of the Blok-Esakia Theorem in the monadic setting
by: Bezhanishvili, Guram, et al.
Published: (2024)

The prime spectrum of an $L$-algebra
by: Rump, W., et al.
Published: (2022)

Periodicity and decidability of translational tilings by rational polygonal sets
by: Pont, Jaume de Dios, et al.
Published: (2024)

The amalgamation property and Urysohn structures in continuous logic
by: Gao, Su, et al.
Published: (2023)

On Quantifiers for Quantitative Reasoning
by: Capucci, Matteo
Published: (2024)

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

Hennessy-Milner Type Theorems for Fuzzy Multimodal Logics Over Heyting Algebras
by: Stanković, Marko, et al.
Published: (2025)

Elementary properties of free lattices II: Decidability of the universal theory
by: Nation, J. B., et al.
Published: (2025)

The unification type of Lukasiewicz logic with a bounded number of variables
by: Abbadini, Marco, et al.
Published: (2025)

A categorical equivalence for monadic algebras of first-order substructural logics motivated by Kalman's construction
by: Wang, Juntao, et al.
Published: (2026)

Simple, subdirectly irreducible weakly dicomplemented lattices
by: Jeufack, Yannick Lea Tenkeu, et al.
Published: (2026)

Possibility Semantics
by: Holliday, Wesley H.
Published: (2024)

Modal weak Kleene logics: axiomatizations and relational semantics
by: Bonzio, Stefano, et al.
Published: (2024)

Implications in pseudocomplemented and Stone lattices
by: Chajda, Ivan, et al.
Published: (2024)

Correspondence Theory for Many-valued Modal Logic
by: Britz, Cecelia, et al.
Published: (2024)

On rearrangement inequalities for T-norm logics
by: Wu, Chai Wah
Published: (2022)

On the Various Translations between Classical, Intuitionistic and Linear Logic
by: Ferreira, Gilda, et al.
Published: (2024)

The Sup Connective in IMALL: A Categorical Semantics
by: Díaz-Caro, Alejandro, et al.
Published: (2022)

Apartness relations between propositions
by: Kocsis, Zoltan A.
Published: (2022)