Multimodal incompleteness under weak negations

DOI10.1007/s11787-012-0075-4zbMath1283.03038OpenAlexW2077838715MaRDI QIDQ1945703

Juliana Bueno-Soler

Publication date: 8 April 2013

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-012-0075-4

zbMATH Keywords

incompletenessparaconsistent logicsquantum reasoningmultimodal logics

Mathematics Subject Classification ID

Quantum computation (81P68) Modal logic (including the logic of norms) (03B45) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Paraconsistent logics (03B53)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The dynamic turn in quantum logic
• Does the deduction theorem fail for modal logic?
• Extended quantum logic
• Paraconsistent ideas in quantum logic
• Two semantical approaches to paraconsistent modalities
• Models for anodic and cathodic multimodalities
• Universal Quantum Simulators
• Completeness and incompleteness for anodic modal logics
• Paraconsistent Machines and their Relation to Quantum Computing
• Two simple incomplete modal logics
• Logics of Formal Inconsistency
• Can Quantum-Mechanical Description of Physical Reality Be Considered Complete?

This page was built for publication: Multimodal incompleteness under weak negations