Buchumschlag

CHTW-systems with resource-depended parameters. CHTW(R)-systems

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Chunikhin, Alexander Yu.
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Non-negative Rational Semantic Numeration Systems
von: Chunikhin, Alexander
Veröffentlicht: (2026)

Attractors of Parikh mapping iterations
von: Chunikhin, Alexander
Veröffentlicht: (2024)

Semantic Numeration Systems as Dynamical Systems
von: Chunikhin, Alexander Yu.
Veröffentlicht: (2025)

Generalisation of proof simulation procedures for Frege systems by M.L.~Bonet and S.R.~Buss
von: Kozhemiachenko, Daniil
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)

List types for resource aware languages: an implicit name approach
von: Ghilezan, Silvia, et al.
Veröffentlicht: (2021)

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

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)

Ajtai's theorem for $T^2_2(R)$ and pebble games with backtracking
von: Ken, Eitetsu, et al.
Veröffentlicht: (2024)

Proof-theoretic Semantics for First-order Logic
von: Gheorghiu, Alexander V.
Veröffentlicht: (2024)

Support is Search
von: Gheorghiu, Alexander V.
Veröffentlicht: (2026)

A modular risk concept for complex systems
von: McGeorge, Dag, 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)

On the specification of modal systems: A comparison of three frameworks
von: Aceto, Luca, et al.
Veröffentlicht: (2024)

PECR: A formal system based on computability logic
von: Pantelis, G.
Veröffentlicht: (2024)

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2025)

Semantic Foundations of Reductive Reasoning
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2024)

Proof-theoretic Semantics for Second-order Logic
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2025)

From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2022)

A note on Grigoriev and Zaitsev's system CNL$^2_4$
von: Omori, Hitoshi, et al.
Veröffentlicht: (2024)

Birkhoff style proof systems for hybrid-dynamic quantum logic
von: Gaina, Daniel
Veröffentlicht: (2024)

Simulating dynamic systems using Linear Time Calculus theories
von: Bogaerts, Bart, et al.
Veröffentlicht: (2014)

Relating homotopy equivalences to conservativity in dependent type theories with computation axioms
von: Spadetto, Matteo
Veröffentlicht: (2023)

An extended type system with lambda-typed lambda-expressions (extended version)
von: Weber, Matthias
Veröffentlicht: (2018)

Proof-theoretic Semantics for the Logic of Bunched Implications
von: Gu, Tao, et al.
Veröffentlicht: (2023)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2023)

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

Additive systems for $\mathbb{Z}$ are undecidable
von: Zabolotskii, Andrei
Veröffentlicht: (2025)

Generic bidirectional typing for dependent type theories
von: Felicissimo, Thiago
Veröffentlicht: (2023)

Characterizations of monadically dependent tree-ordered weakly sparse structures
von: Buffière, Hector, et al.
Veröffentlicht: (2026)

On the Cut Elimination of Weak Intuitionistic Tense Logic
von: Wang, Yiheng, et al.
Veröffentlicht: (2024)

A simpler O(m log n) algorithm for branching bisimilarity on labelled transition systems
von: Jansen, David N., et al.
Veröffentlicht: (2019)

A Complete Formal Specification and Verification of the BESW software control system of the Maeslant Storm Surge Barrier
von: Beers, Adrian, et al.
Veröffentlicht: (2025)

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

The very dependent recursive structure of iterated parametricity in indexed form
von: Herbelin, Hugo, et al.
Veröffentlicht: (2026)

Compositional pre-processing for automated reasoning in dependent type theory
von: Blot, Valentin, et al.
Veröffentlicht: (2022)

An optimized KE-tableau-based system for reasoning in the description logic $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$ (Extended Version)
von: Cantone, Domenico, et al.
Veröffentlicht: (2018)

Finite Hilbert systems for Weak Kleene logics
von: Greati, Vitor, et al.
Veröffentlicht: (2024)