Immanent Reasoning or Equality in Action: A Plaidoyer for the Play Level

@inproceedings{Clerbout2018ImmanentRO,
  title={Immanent Reasoning or Equality in Action: A Plaidoyer for the Play Level},
  author={Nicolas Clerbout and A. Klev and Zo{\'e} McConaughey and S. Rahman},
  year={2018}
}
abstraction absurdum application arbitrary object arbitrary reference assertion assumption Bool Boolean axiom of choice canonical Cartesian case-dependent category categorical choice computation computational rule concession conjunction constructive content context copy-cat core core of the strategy correct naming course of values critical Curry–Howard isomorphism decision definitional definitional equality demonstration dependent dialectical dialogical dialogical roots of equality dialogue… Expand
12 Citations

Figures and Tables from this paper

References

SHOWING 1-10 OF 37 REFERENCES
Semantic Values for Natural Deduction Derivations
General-Elimination Harmony and the Meaning of the Logical Constants
  • S. Read
  • Mathematics, Computer Science
  • J. Philos. Log.
  • 2010
A Natural Extension of Natural Deduction
Epistemic and Practical Aspects of Conditionals in Leibniz's Legal Theory of Conditions
Proof Theory and Meaning
The Independence of Peano's Fourth Axiom from Martin-Lof's Type Theory Without Universes
  • J. Smith
  • Mathematics, Computer Science
  • J. Symb. Log.
  • 1988
What is Aristotelian Ecthesis
Implicit Epistemic Aspects of Constructive Logic
  • G. Sundholm
  • Philosophy, Computer Science
  • J. Log. Lang. Inf.
  • 1997
...
1
2
3
4
...