Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2508.15511 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
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)
by: Li, Lingqiang, et al.
Published: (2024)
The Borel complexity of the class of models of first-order theories
by: Andrews, Uri, et al.
Published: (2024)
by: Andrews, Uri, et al.
Published: (2024)
Connexive logics and connexive semi-Heyting algebras
by: Cornejo, Juan M., et al.
Published: (2025)
by: Cornejo, Juan M., et al.
Published: (2025)
Functional monadic ortholattices and locally finite $σ$-free polyadic ortholattices
by: Lin, Chun-Yu, et al.
Published: (2025)
by: Lin, Chun-Yu, et al.
Published: (2025)
A Cut-Free Sequent Calculus for the Analysis of Finite-Trace Properties in Concurrent Systems
by: Fusco, Ludovico, et al.
Published: (2025)
by: Fusco, Ludovico, et al.
Published: (2025)
Vaught's Conjecture and Theories of Partial Order Admitting a Finite Lexicographic Decomposition
by: Kurilić, Miloš S.
Published: (2026)
by: Kurilić, Miloš S.
Published: (2026)
On regulated partitions
by: Gao, Su, et al.
Published: (2026)
by: Gao, Su, et al.
Published: (2026)
The complexity of classifying continuous t-norms up to isomorphism
by: He, Jialiang, et al.
Published: (2024)
by: He, Jialiang, et al.
Published: (2024)
Preconditionals
by: Holliday, Wesley H.
Published: (2024)
by: Holliday, Wesley H.
Published: (2024)
On actions and split extensions in varieties of hoops: the case of strong section
by: Mancini, Manuel, et al.
Published: (2025)
by: Mancini, Manuel, et al.
Published: (2025)
Varieties generated by completions
by: Andréka, H., et al.
Published: (2018)
by: Andréka, H., et al.
Published: (2018)
Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics
by: Holliday, Wesley H.
Published: (2022)
by: Holliday, Wesley H.
Published: (2022)
On the equational theory of finite modular lattices
by: Herrmann, Christian
Published: (2024)
by: Herrmann, Christian
Published: (2024)
The amalgamation property and Urysohn structures in continuous logic
by: Gao, Su, et al.
Published: (2023)
by: Gao, Su, et al.
Published: (2023)
Embeddings into the generic poset
by: Kwiatkowska, Aleksandra, et al.
Published: (2025)
by: Kwiatkowska, Aleksandra, et al.
Published: (2025)
Maximal order types for sequences with gap condition
by: Uftring, Patrick
Published: (2025)
by: Uftring, Patrick
Published: (2025)
On Quantifiers for Quantitative Reasoning
by: Capucci, Matteo
Published: (2024)
by: Capucci, Matteo
Published: (2024)
Fuzzy Galois connections on fuzzy sets
by: García, Javier Gutiérrez, et al.
Published: (2017)
by: García, Javier Gutiérrez, et al.
Published: (2017)
Implications in pseudocomplemented and Stone lattices
by: Chajda, Ivan, et al.
Published: (2024)
by: Chajda, Ivan, et al.
Published: (2024)
The unification type of Lukasiewicz logic with a bounded number of variables
by: Abbadini, Marco, et al.
Published: (2025)
by: Abbadini, Marco, et al.
Published: (2025)
$G_δ$ Circle Squaring
by: Unger, Spencer, et al.
Published: (2026)
by: Unger, Spencer, et al.
Published: (2026)
Forking in valued fields and related structures
by: Hossain, Akash
Published: (2024)
by: Hossain, Akash
Published: (2024)
The variety of coset relation algebras
by: Givant, Steven, et al.
Published: (2018)
by: Givant, Steven, et al.
Published: (2018)
Reverse mathematics of a uniform Kruskal-Friedman theorem
by: Freund, Anton
Published: (2021)
by: Freund, Anton
Published: (2021)
Quantales carrying ortholattice structure
by: Botur, Michal, et al.
Published: (2026)
by: Botur, Michal, et al.
Published: (2026)
Failure of the Blok-Esakia Theorem in the monadic setting
by: Bezhanishvili, Guram, et al.
Published: (2024)
by: Bezhanishvili, Guram, et al.
Published: (2024)
Term algebras of elementarily equivalent atom structures
by: Andréka, H., et al.
Published: (2018)
by: Andréka, H., et al.
Published: (2018)
Products of pseudofinite structures
by: D'Aquino, Paola, et al.
Published: (2024)
by: D'Aquino, Paola, et al.
Published: (2024)
Local finiteness in varieties of MS4-algebras
by: Bezhanishvili, Guram, et al.
Published: (2023)
by: Bezhanishvili, Guram, et al.
Published: (2023)
Local tabularity in MS4 with Casari's axiom
by: Meadors, Chase
Published: (2024)
by: Meadors, Chase
Published: (2024)
Undecidable translational tilings with only two tiles, or one nonabelian tile
by: Greenfeld, Rachel, et al.
Published: (2021)
by: Greenfeld, Rachel, et al.
Published: (2021)
Varieties of MV-monoids and positive MV-algebras
by: Abbadini, Marco, et al.
Published: (2024)
by: Abbadini, Marco, et al.
Published: (2024)
Towards a logic of affordances
by: Gruszczynski, Rafal, et al.
Published: (2025)
by: Gruszczynski, Rafal, et al.
Published: (2025)
Justification Logics in a Fuzzy Setting
by: Ghari, Meghdad
Published: (2014)
by: Ghari, Meghdad
Published: (2014)
Piecewise convex embeddability on linear orders
by: Iannella, Martina, et al.
Published: (2023)
by: Iannella, Martina, et al.
Published: (2023)
Elementary properties of free lattices II: Decidability of the universal theory
by: Nation, J. B., et al.
Published: (2025)
by: Nation, J. B., et al.
Published: (2025)
Elementary properties of free lattices III: Undecidability of the full theory
by: Nation, J. B., et al.
Published: (2025)
by: Nation, J. B., et al.
Published: (2025)
Elementary Properties of Free Lattices
by: Nation, J. B., et al.
Published: (2023)
by: Nation, J. B., et al.
Published: (2023)
Expansions and restrictions of structures and theories, their hierarchies
by: Sudoplatov, Sergey V.
Published: (2025)
by: Sudoplatov, Sergey V.
Published: (2025)
Correspondence Theory for Many-valued Modal Logic
by: Britz, Cecelia, et al.
Published: (2024)
by: Britz, Cecelia, et al.
Published: (2024)