# Holistic type extension for classical propositional logic in quantum computation

## TL;DR

This paper introduces a comprehensive extension of classical propositional logic within quantum computation, exploring how traditional logical concepts like tautology and contradiction adapt to quantum states, including a special class of holistic contradictions.

## Contribution

It presents a novel holistic extension of classical propositional logic tailored for quantum computation with mixed states, analyzing tautologies and contradictions in this new framework.

## Key findings

- Investigation of tautology and contradiction in quantum logic
- Identification of a special family of holistic contradictions
- Extension of classical logic concepts to quantum mixed states

## Abstract

A holistic extension of classical propositional logic is introduced in the framework of quantum computation with mixed states. The concepts of tautology and contradiction are investigated in this extensions. A special family of quantum states are investigated as particular cases of "holistic" contradiction.