Semantics for first-order superposition logic

DOI10.1093/jigpal/jzz019zbMath1477.03105OpenAlexW2945551973MaRDI QIDQ5014056

Athanassios Tzouvaras

Publication date: 3 December 2021

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzz019

zbMATH Keywords

sentence choice semanticschoice function for pairs of sentences/formulasformula choice semanticslogic of superposition

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Quantum logic (03G12)

Related Items (1)

A new connective in natural deduction, and its application to quantum computing

This page was built for publication: Semantics for first-order superposition logic