Strict conditional: Difference between revisions

Revision as of 17:41, 12 December 2021

Revision as of 00:18, 22 November 2022

Line 34:

==Constructive logic==

In a [[Constructive logic|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

| last1=Litak |first1 = Tadeusz

| last2=Visser |first2 = Albert