:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Mruczek-Nasieniewska, Krystyna, Klonowski, Mateusz
Format:	Preprint
Published:	2024
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2402.14681
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On some algebraic properties of Plonka sums and regularized varieties
by: Bonzio, S., et al.
Published: (2026)

About enveloping algebras of direct sums
by: Duchamp, Gérard Henry Edmond, et al.
Published: (2024)

Definiteness properties of first-order schemes
by: Gruza, Piotr, et al.
Published: (2025)

Corrigendum & Addendum to "Categoricity-like Properties in the First Order Realm"
by: Enayat, Ali, et al.
Published: (2026)

Descending sequences in reflection hierarchies
by: Łełyk, Mateusz, et al.
Published: (2025)

Decomposition horizons and a characterization of stable hereditary classes of graphs
by: Braunfeld, Samuel, et al.
Published: (2022)

Exponential sums equations and the Exponential Closedness conjecture
by: Aslanyan, Vahagn, et al.
Published: (2024)

Generalized Tukey reducibility between $σ$-directed sets
by: Sakai, Hiroshi, et al.
Published: (2025)

Automorphisms and derivations on algebras endowed with formal infinite sums
by: Bagayoko, Vincent, et al.
Published: (2024)

Incompleteness for stably computable formal systems
by: Savelyev, Yasha
Published: (2022)

Modelling of logical systems by means of their fragments
by: Rybakov, Mikhail
Published: (2025)

Wider systems for linear logic with fixed points: proof theory and complexity
by: Das, Anupam, et al.
Published: (2026)

Monochromatic products and sums in the rationals
by: Bowen, Matt, et al.
Published: (2022)

Extremal models and direct integrals in affine logic
by: Yaacov, Itaï Ben, et al.
Published: (2024)

Generalisation of proof simulation procedures for Frege systems by M.L.~Bonet and S.R.~Buss
by: Kozhemiachenko, Daniil
Published: (2024)

Practical Boolean Decomposition for Delay-driven LUT Mapping
by: Calvino, Alessandro Tempia, et al.
Published: (2024)

On the Decompositionality of Neural Networks
by: Lee, Junyong, et al.
Published: (2026)

A study of cut-elimination for a non-labelled cyclic proof system for propositional dynamic logics
by: Oda, Yukihiro
Published: (2025)

A study for recovering the cut-elimination property in cyclic proof systems by restricting the arity of inductive predicates
by: Oda, Yukihiro, et al.
Published: (2022)

Decomposition of Borel graphs and cohomology
by: Ishikura, Hiroki
Published: (2025)

Pathologies in satisfaction classes
by: Abdul-Quader, Athar, et al.
Published: (2023)

On Zeno-like Behaviors in the Event Calculus with Goal-directed Answer Set Programming
by: Vašíček, Ondřej, et al.
Published: (2026)

Transducing Linear Decompositions of Tournaments
by: Geniet, Colin, et al.
Published: (2026)

Cyclic system for an algebraic theory of alternating parity automata
by: Das, Anupam, et al.
Published: (2025)

Generalized Epstein semantics for Parry systems
by: Zamperlin, Nicolò
Published: (2024)

Model theory of Steiner triple systems
by: Barbina, Silvia, et al.
Published: (2018)

Generalized sums of linear orders
by: Ramos, Álvaro Díaz, et al.
Published: (2025)

The sorrows of a smooth digraph: the first hardness criterion for infinite directed graph-colouring problems
by: Brunar, Johanna, et al.
Published: (2025)

Measuring robustness of dynamical systems. Relating time and space to length and precision
by: Blanc, Manon, et al.
Published: (2023)

A tree rewriting system for the Reflection Calculus
by: Santiago-Fernández, Sofía, et al.
Published: (2024)

$G$-systems and 4E Cognitive Science
by: Weinstein, Vadim K.
Published: (2025)

A cyclic proof system for Guarded Kleene Algebra with Tests (full version)
by: Rooduijn, Jan, et al.
Published: (2024)

Natural Deduction systems for some weak Subintuitionistic Logics
by: Maleki, Fatemeh Shirmohammadzadeh
Published: (2024)

Theories of Frege structure equivalent to Feferman's system $\mathsf{T}_0$
by: Hayashi, Daichi
Published: (2024)

A formal system for reasoning about assertibility, truth, and meaningfulness
by: Weaver, Nik
Published: (2025)

Cut elimination for a non-wellfounded system for the master modality
by: Miranda, Borja Sierra, et al.
Published: (2025)

Optimally Rewriting Formulas and Database Queries: A Confluence of Term Rewriting, Structural Decomposition, and Complexity
by: Chen, Hubie, et al.
Published: (2024)

Finite Hilbert systems for Weak Kleene logics
by: Greati, Vitor, et al.
Published: (2024)

Decomposition Strategies and Multi-shot ASP Solving for Job-shop Scheduling
by: El-Kholany, Mohammed M. S., et al.
Published: (2022)

Lacon-, Shrub- and Parity-Decompositions: Characterizing Transductions of Bounded Expansion Classes
by: Dreier, Jan
Published: (2021)