On the definition of the classical connectives and quantifiers

TL;DR

This paper explores how classical logic connectives and quantifiers can be defined within constructive logic, providing a formal embedding that bridges the two logical systems.

Contribution

It introduces a formal method to define classical connectives and quantifiers using constructive logic, clarifying their relationship.

Findings

Classical connectives are definable within constructive logic.

A formal embedding of classical into constructive logic is established.

The approach clarifies the logical relationship between the two systems.

Abstract

Classical logic is embedded into constructive logic, through a definition of the classical connectives and quantifiers in terms of the constructive ones.