scientific article; zbMATH DE number 6863855

zbMath1385.03005MaRDI QIDQ4636288

Michael De, Hitoshi Omori

Publication date: 23 April 2018

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

completenessintuitionistic logicempirical negation

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (4)

Negative predication and distinctness ⋮ Empirical Negation, Co-negation and Contraposition Rule I: Semantical Investigations ⋮ There is more to negation than modality ⋮ Empirical Negation, Co-Negation and the Contraposition Rule II: Proof-Theoretical Investigations

This page was built for publication: