Content deleted Content added
m Open access bot: arxiv added to citation with #oabot. |
m →Constructive logic: References after punctuation per WP:REFPUNCT, WP:CITEFOOT, WP:PAIC + other fixes |
||
Line 34:
==Constructive logic==
In a constructive setting, the symmetry between ⥽ and <math>\Box</math> is broken, and the two connectives can be studied independently. Constructive strict implication can be used to investigate [[interpretability]] of [[Heyting arithmetic]] and to model [[arrow (computer science)|arrows]] and guarded [[recursion (computer science)|recursion]] in computer science.<ref>{{cite journal
| doi = 10.1016/j.indag.2017.10.003
| author1 = Tadeusz Litak
Line 42:
| volume = 29
| issue = 1
| pages =
| year = 2018
| url = https://arxiv.org/abs/1708.02143 | arxiv = 1708.02143
}}</ref>
==See also==
| |||