Computing the Lagrangians of the standard model

DOI10.1016/J.JAL.2015.09.015zbMath1386.81046OpenAlexW1832666680MaRDI QIDQ893602

J. P. Rawling, Stephen A. Selesnick

Publication date: 19 November 2015

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2015.09.015

zbMATH Keywords

logicsequent calculiLagrangians

Mathematics Subject Classification ID

Quantum computation (81P68) Yang-Mills and other gauge theories in quantum field theory (81T13) Quantum logic (03G12) Lagrangian formalism and Hamiltonian formalism in mechanics of particles and systems (70S05)

Related Items (1)

Computing the Lagrangians of the standard model II. The ghost term

Cites Work

• Unnamed Item
• Unnamed Item
• Some quantum symmetries and their breaking. I
• Action, quantum computation and the structure of the Yang-Mills Lagrangian
• A new duality theory for compact groups
• Foundation for quantum computing. II
• Second quantization, projective modules, and local gauge invariance
• Foundation for quantum computing
• Dagger Categories and Formal Distributions
• Type structure and chiral breaking in the standard model
• Dirac’s equation on the quantum net
• Holomorphic models of exponential types in linear logic

This page was built for publication: Computing the Lagrangians of the standard model