A New Translation for Semi-classical Theories — Backtracking without CPS

DOI10.1007/978-3-540-78969-7_16MaRDI QIDQ5458438zbMATH OpenOpenAlexFDO

Authors Satoshi Kobayashi

Publication date 11 April 2008

Published in Functional and Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-78969-7_16

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70)

Recommendations

• Classicality without decoherence: A reply to Schlosshauer
• The semiclassical limit of causal dynamical triangulations
• scientific article; zbMATH DE number 937364
• The physical interpretation of partial traces: two nonstandard views
• On the behaviour of the backward interpretation of Feynman-Kac formulae under verifiable conditions
• scientific article; zbMATH DE number 5984310
• Semiclassical quantum dynamics and Bohmian trajectories
• Some non-classical approaches to the Brandenburger-Keisler paradox
• Forward-backward semiclassical dynamics
• Classical and Bohmian trajectories in semiclassical systems: mismatch in dynamics, mismatch in reality?

Cites work

• scientific article; zbMATH DE number 3614784 (Why is no real title available?)
• scientific article; zbMATH DE number 1783013 (Why is no real title available?)
• scientific article; zbMATH DE number 2085171 (Why is no real title available?)
• A semantics of evidence for classical arithmetic
• A sequent calculus for limit computable mathematics
• Automata, Languages and Programming
• Can proofs be animated by games?
• Constructivism in mathematics. An introduction. Volume II
• Games with 1-backtracking
• Mathematics based on incremental learning -- excluded middle and inductive inference
• Realizability interpretation of generalized inductive definitions
• Semantics for Intuitionistic Arithmetic Based on Tarski Games with Retractable Moves
• Some intuitionistic equivalents of classical principles for degree 2 formulas

Cited in

(1)

• The Peirce translation and the double negation shift

This page was built for publication: A New Translation for Semi-classical Theories — Backtracking without CPS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5458438)