Copertina

Gödel Mirror: A Formal System For Contradiction-Driven Recursion

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Chan, Jhet
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic in Computer Science Programming Languages 03B70, 68Q42 F.4.1; F.4.2; F.4.3; D.3.1
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

A correspondence between the time and space complexity
di: Latkin, Ivan V.
Pubblicazione: (2023)

A Modular Lean 4 Framework for Confluence and Strong Normalization of Lambda Calculi with Products and Sums
di: Ramos, Arthur, et al.
Pubblicazione: (2025)

Metalevel transformation of strategies
di: Rubio, Rubén, et al.
Pubblicazione: (2024)

Decision Problems on Copying and Shuffling
di: Halava, Vesa, et al.
Pubblicazione: (2023)

The Orientation Boundary for Step-Duplicating Recursors: Mechanized Impossibility, Escape, and Certification
di: Rahnama, Moses
Pubblicazione: (2025)

Labelled Well Quasi Ordered Classes of Bounded Linear Clique-Width
di: Lopez, Aliaume
Pubblicazione: (2024)

Disproving Termination of Non-Erasing Sole Combinatory Calculus with Tree Automata (Full Version)
di: Nakano, Keisuke, et al.
Pubblicazione: (2024)

Nominal techniques as an Agda library
di: Gabbay, Murdoch J., et al.
Pubblicazione: (2026)

$\mathbb{N}$-polyregular functions arise from well-quasi-orderings
di: Lopez, Aliaume
Pubblicazione: (2024)

Recursive windows for grammar logics of bounded density
di: Gasquet, Olivier
Pubblicazione: (2025)

A Logic For Fresh Labelled Transition Systems
di: Bandukara, Mohamed H, et al.
Pubblicazione: (2025)

Anti-Context-Free languages
di: Cardó, Carles
Pubblicazione: (2024)

Stratifiable formulae are not context-free
di: Ryan-Smith, Calliope
Pubblicazione: (2023)

PSPACE-completeness of bimodal transitive weak-density logic
di: Balbiani, Philippe, et al.
Pubblicazione: (2025)

Propositional dynamic logic and asynchronous cascade decompositions for regular trace languages
di: Adsul, Bharat, et al.
Pubblicazione: (2024)

Languages of Words of Low Automatic Complexity Are Hard to Compute
di: Chen, Joey, et al.
Pubblicazione: (2025)

Conjunctive categorial grammars and Lambek grammars with additives
di: Kuznetsov, Stepan L., et al.
Pubblicazione: (2024)

Formally Modelling the Rijkswaterstaat Tunnel Control Systems in a Constrained Industrial Environment
di: Jilissen, Kevin H. J., et al.
Pubblicazione: (2024)

Accelerating Verified-Compiler Development with a Verified Rewriting Engine
di: Gross, Jason, et al.
Pubblicazione: (2022)

Node Replication: Theory And Practice
di: Kesner, Delia, et al.
Pubblicazione: (2022)

Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof
di: Borzechowski, Manfred, et al.
Pubblicazione: (2025)

Ohana trees, linear approximation and multi-types for the $λ$I-calculus: No variable gets left behind or forgotten!
di: Cerda, Rémy, et al.
Pubblicazione: (2025)

Determination of the fifth Busy Beaver value
di: The bbchallenge Collaboration, et al.
Pubblicazione: (2025)

The Solver's Paradox in Formal Problem Spaces
di: Rosko, Milan
Pubblicazione: (2025)

Solutions of Word Equations over Partially Commutative Structures
di: Diekert, Volker, et al.
Pubblicazione: (2016)

Generically Automating Separation Logic by Functors, Homomorphisms and Modules
di: Xu, Qiyuan, et al.
Pubblicazione: (2024)

A Bisimulation-Invariance-Based Approach to the Separation of Polynomial Complexity Classes
di: Bruse, Florian, et al.
Pubblicazione: (2026)

Lindenmayer graph languages, first-order theories and expanders
di: Knapik, Teodor
Pubblicazione: (2024)

Strategies, model checking and branching-time properties in Maude
di: Rubio, Rubén, et al.
Pubblicazione: (2024)

Model checking strategy-controlled systems in rewriting logic
di: Rubio, Rubén, et al.
Pubblicazione: (2024)

Relational Connectors and Heterogeneous Bisimulations
di: Nora, Pedro, et al.
Pubblicazione: (2024)

Well-Quasi-Orderings on Word Languages
di: Lhote, Nathan, et al.
Pubblicazione: (2025)

CBCL: Safe Self-Extending Agent Communication
di: O'Connor, Hugo
Pubblicazione: (2026)

A note on occur-check (extended report)
di: Drabent, Włodzimierz
Pubblicazione: (2022)

A declarative approach to specifying distributed algorithms using three-valued modal logic
di: Gabbay, Murdoch J., et al.
Pubblicazione: (2025)

Around Context-Free Grammars -- a Normal Form, a Representation Theorem, and a Regular Approximation
di: Cojocaru, Liliana
Pubblicazione: (2015)

The Generation-Recognition Asymmetry: Six Dimensions of a Fundamental Divide in Formal Language Theory
di: Peyrichou, Romain
Pubblicazione: (2026)

Pure Data Spaces
di: Youssef, Saul
Pubblicazione: (2025)

Simulating and model checking membrane systems using strategies in Maude
di: Rubio, Rubén, et al.
Pubblicazione: (2024)

An Expressive Trace Logic for Recursive Programs
di: Gurov, Dilian, et al.
Pubblicazione: (2024)