:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Karatarakis, Michail, Wiedijk, Freek
Format:	Preprint
Published:	2026
Subjects:	Logic in Computer Science
Online Access:	https://arxiv.org/abs/2603.24823
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Formalized Hopfield Networks and Boltzmann Machines
by: Cipollina, Matteo, et al.
Published: (2025)

Towards solid abelian groups: A formal proof of Nöbeling's theorem
by: Asgeirsson, Dagur
Published: (2023)

Tutte's theorem as an educational formalization project
by: Otte, Pim
Published: (2025)

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

A Cobham theorem for scalar multiplication
by: Hieronymi, Philipp, et al.
Published: (2024)

Incompleteness theorems via Turing category
by: Savelyev, Yasha
Published: (2024)

An abstract fixed-point theorem for Horn formula equations
by: Hetzl, Stefan, et al.
Published: (2025)

The nonexistence of unicorns and many-sorted Löwenheim-Skolem theorems
by: Przybocki, Benjamin, et al.
Published: (2024)

A simple formalization of alpha-equivalence
by: Apinis, Kalmer, et al.
Published: (2025)

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

PECR: A formal system based on computability logic
by: Pantelis, G.
Published: (2024)

Toward a formalization of artifacts in GFO
by: Fiegenbaum, Hanna
Published: (2024)

A concise proof of Commoner's theorem
by: Jancar, Petr
Published: (2024)

An implicit function theorem for the stream calculus
by: Boreale, Michele, et al.
Published: (2023)

Preservation theorems for Tarski's relation algebra
by: Bogaerts, Bart, et al.
Published: (2023)

A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets
by: Arias, Jaime, et al.
Published: (2024)

A formalization of System I with type Top in Agda
by: Séttimo, Agustín, et al.
Published: (2026)

Formalization of Biological Circuit Block Diagrams for formally analyzing Biomedical Control Systems in pHRI Applications
by: Rashid, Adnan, et al.
Published: (2024)

Metacat: a categorical framework for formal systems
by: Wilson, Paul
Published: (2026)

A uniform cut-elimination theorem for linear logics with fixed points and super exponentials
by: Bauer, Esaïe, et al.
Published: (2025)

The unstable formula theorem revisited via algorithms
by: Malliaris, Maryanthe, et al.
Published: (2022)

When do modal definability and preservation theorems transfer to the finite?
by: van Benthem, Johan, et al.
Published: (2026)

An adequacy theorem between mixed powerdomains and probabilistic concurrency (extended version)
by: Neves, Renato
Published: (2024)

Factorizing formal contexts from closures of necessity operators
by: Aragón, Roberto G., et al.
Published: (2026)

Finite element method. Detailed proofs to be formalized in Coq
by: Clément, François, et al.
Published: (2024)

Glivenko's theorems from an ecumenical perspective
by: Pereira, Luiz Carlos, et al.
Published: (2026)

A formal specification of the desired software behaviour of the Princess Marijke lock complex
by: Groote, Jan Friso, et al.
Published: (2025)

Duality theory in linear optimization and its extensions -- formally verified
by: Dvorak, Martin, et al.
Published: (2024)

The Myhill isomorphism theorem does not generalize much
by: Pradic, Cécilia
Published: (2025)

A parametricity-based formalization of semi-simplicial and semi-cubical sets
by: Herbelin, Hugo, et al.
Published: (2023)

Usable-by-Construction: a formal framework
by: Reeves, Steve
Published: (2024)

KindHML: formal verification of smart contracts based on Hennessy-Milner logic
by: Bartoletti, Massimo, et al.
Published: (2026)

Types, equations, dimensions and the Pi theorem
by: Botta, Nicola, et al.
Published: (2023)

A formal specification of the jq language
by: Färber, Michael
Published: (2024)

Sequent Calculi for Data-Aware Modal Logics
by: Areces, Carlos, et al.
Published: (2025)

A Logic of Inability
by: Wang, Shanxia
Published: (2026)

A Logic of Secrecy on Simplicial Models
by: Wang, Shanxia
Published: (2026)

A Study on Actions for Atomic Logics
by: Espejo-Boix, Raül
Published: (2024)

A modal approach towards substitutions
by: Tu, Yaxin, et al.
Published: (2025)

A logic for default deontic reasoning
by: Piazza, Mario, et al.
Published: (2025)