Paraconsistent Transition Systems

DOI10.4204/eptcs.376.3arXiv2303.13254MaRDI QIDQ6118743

Alexandre Madeira, Luís Soares Barbosa, Unnamed Author

Publication date: 28 February 2024

Published in: Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2303.13254

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Cites Work

• Unnamed Item
• Unnamed Item
• Towards paraconsistent engineering
• Paraconsistent ideas in quantum logic
• Physics, inconsistency, and quasi-truth
• Propositional calculus for contradictory deductive systems
• Quantum Computation and Quantum Information
• Paraconsistent Machines and their Relation to Quantum Computing

This page was built for publication: Paraconsistent Transition Systems