On the definition of the classical connectives and quantifiers
type: Dataset
description: This paper embeds classical logic into constructive logic, in a homomorphic way, by providing an explicit definition of the classical connectives and quantifiers.
landing page: https://inria.hal.science/hal-00919437
keyword: infoeu-reposemanticspreprint
keyword: infoinfo-locomputer-science-cslogic-in-computer-science-cslo
keyword: preprints-working-papers-
issued: 2026-05-07T19:00:22.752033
modified: 2026-05-07T19:00:22.752037
language: en
contact point: Organization
  fn: CCSD

test_moissonnage_selune
type: Agent

On the definition of the classical connectives and quantifiers
type: Distribution
format: HTML
access URL: https://inria.hal.science/hal-00919437
issued: 2026-05-07T19:00:22.753405
modified: 2026-05-07T19:00:22.746051