Semantics for first-order superposition logic

DOI10.1093/JIGPAL/JZZ019MaRDI QIDQ5014056zbMATH OpenOpenAlexFDO

Authors 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

choice function for pairs of sentences/formulasformula choice semanticslogic of superpositionsentence choice semantics

Mathematics Subject Classification ID

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

Recommendations

• Algebraic semantics for propositional superposition logic
• Propositional superposition logic
• Superposition for Fixed Domains
• Superposition for fixed domains
• Superposition for full higher-order logic

Cited in

(10)

• Superposition with first-class booleans and inprocessing clausification
• scientific article; zbMATH DE number 1696787 (Why is no real title available?)
• scientific article; zbMATH DE number 6379368 (Why is no real title available?)
• scientific article; zbMATH DE number 5722451 (Why is no real title available?)
• scientific article; zbMATH DE number 1984522 (Why is no real title available?)
• Axiomatization of a Denotational Semantics for First-order Logic
• scientific article; zbMATH DE number 1852924 (Why is no real title available?)
• Algebraic semantics for propositional superposition logic
• Computer Science Logic
• A new connective in natural deduction, and its application to quantum computing

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

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