News for hackers. Stuff that matters.

A comment on Dialogical logic programming.

Re:Dialogical logic programming by tempodox on Monday February 11, 2019 @01:09PM (#19136619)
It would help comprehension if the ∏ and ∐ operators had been explained.
[ Parent | on HN ]
Re:Dialogical logic programming by link_108 on Monday February 11, 2019 @06:45PM (#19139671)
From what I can tell, they are NOT universal or existential quantifiers, as those symbols are also used in the post. I think they are

https://en.wikipedia.org/wiki/Coproduct https://en.wikipedia.org/wiki/Product_(mathematics)

[ Parent | on HN ]
Re:Dialogical logic programming by feanaro on Thursday February 14, 2019 @06:05PM (#19166949)
This is correct. The idea is that you can conjunctively (using the product) or disjunctively (using the coproduct) quantify the variables over the formulas that use them, essentially getting a conjunction/disjuction of the formula, instantiated with each of the concrete values of the variable quantified over.
[ Parent | on HN ]
Re:Dialogical logic programming by JadeNB on Monday February 11, 2019 @03:17PM (#19137855)
They seem to be universal and existential quantifiers, which is consonant with the usual notation in mathematical logic and (I believe) in dependent type theory.
[ Parent | on HN ]
Re:Dialogical logic programming by KC8ZKF on Monday February 11, 2019 @05:07PM (#19138834)
https://en.m.wikipedia.org/wiki/Quantifier_(logic)
[ Parent | on HN ]