News for hackers. Stuff that matters.

A comment on Dialogical logic programming. Parent comment

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 ]