Corpus ID: 35931227

Constructive logic and the paradoxes

@article{Ruitenburg1991ConstructiveLA,
  title={Constructive logic and the paradoxes},
  author={Wim Ruitenburg},
  journal={Modern Logic},
  year={1991},
  volume={1},
  pages={271-301}
}
Heyting’s formalization of intuitionistic mathematics started many discussions about the meaning of the logical connectives in terms of proof and construction. We focus on the ideas and results related to the interpretation of implication and on formal systems that have different rules for implication. Some of these systems are not intended to contribute to the discussions mentioned above, but are related to the Basic Calculus introduced in §§3 and 4. The set-theoretic paradoxes of the turn of… Expand
31 Citations
Basic Logic and Fregean Set Theory
Provably total functions of Basic Arithmetic
A Closer Look at Some Subintuitionistic Logics
A unification of the basic logics of Sambin and Visser
Another extension of Basic Logic
Complexity of Strict Implication
  • F. Bou
  • Computer Science, Mathematics
  • Advances in Modal Logic
  • 2004
An Introduction to Basic Arithmetic
Bounded distributive lattices with strict implication
...
1
2
3
4
...

References

SHOWING 1-10 OF 56 REFERENCES
Foundations of Intuitionistic Logic
Aspects of Constructive Mathematics
The Unprovability of Consistency: An Essay in Modal Logic
On a Theory of Weak Implications
  • M. Okada
  • Mathematics, Computer Science
  • J. Symb. Log.
  • 1988
Mathematics as a Numerical Language
Solution of a Problem of Leon Henkin
  • M. H. Lob
  • Mathematics, Computer Science
  • J. Symb. Log.
  • 1955
K-continuous lattices and comprehension principles for frege structures
  • R. Flagg
  • Mathematics, Computer Science
  • Ann. Pure Appl. Log.
  • 1987
On the Interpretation of Intuitionistic Number Theory
  • S. Kleene
  • Mathematics, Computer Science
  • J. Symb. Log.
  • 1945
Provability interpretations of modal logic
...
1
2
3
4
5
...