Buchumschlag

Decomposition of Płonka sums into direct systems

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Mruczek-Nasieniewska, Krystyna, Klonowski, Mateusz
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

On some algebraic properties of Plonka sums and regularized varieties
von: Bonzio, S., et al.
Veröffentlicht: (2026)

About enveloping algebras of direct sums
von: Duchamp, Gérard Henry Edmond, et al.
Veröffentlicht: (2024)

Definiteness properties of first-order schemes
von: Gruza, Piotr, et al.
Veröffentlicht: (2025)

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

Descending sequences in reflection hierarchies
von: Łełyk, Mateusz, et al.
Veröffentlicht: (2025)

Decomposition horizons and a characterization of stable hereditary classes of graphs
von: Braunfeld, Samuel, et al.
Veröffentlicht: (2022)

Generalized Tukey reducibility between $σ$-directed sets
von: Sakai, Hiroshi, et al.
Veröffentlicht: (2025)

Exponential sums equations and the Exponential Closedness conjecture
von: Aslanyan, Vahagn, et al.
Veröffentlicht: (2024)

Automorphisms and derivations on algebras endowed with formal infinite sums
von: Bagayoko, Vincent, et al.
Veröffentlicht: (2024)

Incompleteness for stably computable formal systems
von: Savelyev, Yasha
Veröffentlicht: (2022)

Modelling of logical systems by means of their fragments
von: Rybakov, Mikhail
Veröffentlicht: (2025)

Wider systems for linear logic with fixed points: proof theory and complexity
von: Das, Anupam, et al.
Veröffentlicht: (2026)

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

A study of cut-elimination for a non-labelled cyclic proof system for propositional dynamic logics
von: Oda, Yukihiro
Veröffentlicht: (2025)

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

Practical Boolean Decomposition for Delay-driven LUT Mapping
von: Calvino, Alessandro Tempia, et al.
Veröffentlicht: (2024)

Extremal models and direct integrals in affine logic
von: Yaacov, Itaï Ben, et al.
Veröffentlicht: (2024)

Monochromatic products and sums in the rationals
von: Bowen, Matt, et al.
Veröffentlicht: (2022)

On the Decompositionality of Neural Networks
von: Lee, Junyong, et al.
Veröffentlicht: (2026)

Decomposition of Borel graphs and cohomology
von: Ishikura, Hiroki
Veröffentlicht: (2025)

Generalized Epstein semantics for Parry systems
von: Zamperlin, Nicolò
Veröffentlicht: (2024)

Model theory of Steiner triple systems
von: Barbina, Silvia, et al.
Veröffentlicht: (2018)

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

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

$G$-systems and 4E Cognitive Science
von: Weinstein, Vadim K.
Veröffentlicht: (2025)

Natural Deduction systems for some weak Subintuitionistic Logics
von: Maleki, Fatemeh Shirmohammadzadeh
Veröffentlicht: (2024)

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

A formal system for reasoning about assertibility, truth, and meaningfulness
von: Weaver, Nik
Veröffentlicht: (2025)

Cut elimination for a non-wellfounded system for the master modality
von: Miranda, Borja Sierra, et al.
Veröffentlicht: (2025)

Pathologies in satisfaction classes
von: Abdul-Quader, Athar, et al.
Veröffentlicht: (2023)

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

Transducing Linear Decompositions of Tournaments
von: Geniet, Colin, et al.
Veröffentlicht: (2026)

Cyclic system for an algebraic theory of alternating parity automata
von: Das, Anupam, et al.
Veröffentlicht: (2025)

A discrete-time temporal deontic STIT logic based on interpreted systems
von: Rong, Shuge, et al.
Veröffentlicht: (2025)

Measuring robustness of dynamical systems. Relating time and space to length and precision
von: Blanc, Manon, et al.
Veröffentlicht: (2023)

A cyclic proof system for Guarded Kleene Algebra with Tests (full version)
von: Rooduijn, Jan, et al.
Veröffentlicht: (2024)

Optimally Rewriting Formulas and Database Queries: A Confluence of Term Rewriting, Structural Decomposition, and Complexity
von: Chen, Hubie, et al.
Veröffentlicht: (2024)

Generalized sums of linear orders
von: Ramos, Álvaro Díaz, et al.
Veröffentlicht: (2025)

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

Lacon-, Shrub- and Parity-Decompositions: Characterizing Transductions of Bounded Expansion Classes
von: Dreier, Jan
Veröffentlicht: (2021)