Modern Logic

  • Mod. Log.
  • Volume 1, Number 4 (1991), 271-301.

Constructive logic and the paradoxes

Wim Ruitenburg

Full-text: Open access

Article information

Source
Mod. Log., Volume 1, Number 4 (1991), 271-301.

Dates
First available in Project Euclid: 6 March 2008

Permanent link to this document
https://projecteuclid.org/euclid.rml/1204834737

Mathematical Reviews number (MathSciNet)
MR1112350

Zentralblatt MATH identifier
0748.03037

Subjects
Primary: 03B20: Subsystems of classical logic (including intuitionistic logic)
Secondary: 01A65: Contemporary 03-03: Historical (must also be assigned at least one classification number from Section 01) 03A05: Philosophical and critical {For philosophy of mathematics, see also 00A30} 03F03: Proof theory, general 03F55: Intuitionistic mathematics

Citation

Ruitenburg, Wim. Constructive logic and the paradoxes. Mod. Log. 1 (1991), no. 4, 271--301. https://projecteuclid.org/euclid.rml/1204834737


Export citation