Neuer beweistheoretischer Rahmen (IULL), der die Darstellung nicht-kausaler Quantenprozesse wie den Quantenschalter ermöglicht. Bietet operative Semantik mit Unitarität, Schnitteliminierung und Vollständigkeit für Quantenschaltkreise.
@informaq-de.bsky.social