Dialogues as a Foundation for Intuitionistic Logic

By Walter Felscher. 2002

103 citations recorded by the source corpus.

Subfields: Artificial Intelligence

View Paper: https://www.semanticscholar.org/paper/13d5acb44a91d532a5fc2c22d02c9e2b1e002f17

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. Alexandre V. Borovik
2. Mikhail G. Katz

Citations in the corpus

• Who Gave You the Cauchy–Weierstrass Tale? The Dual History of Rigorous Calculus (2011, background): “19It is worth pondering which contemporary mathematician (known for antiinfinitesimal vitriol) Felscher may have had in mind here, given his interest in intuitionistic logics [26, 27].”