[PEIRCE-L] Generative AI is at the top of the Hype Cycle. Is it about to crash? (was Consciousness

Ricardo, Alex, Anatoly, and anybody who is working with or speculating about LLMs for generative AI, LLMs have proved to be valuable for machine translation of languages. They have also been used to implement many kinds of toys that appear to be impressive.But nobody has shown that LLM

[PEIRCE-L] LUW Oct 4, 2023 - Complementary Proof Nets for Classical Logic by Gabriele Pulcini

The next session of the Logica Universalis Webinar will be Wednesday October 4 at 4pm CET Speaker: Gabriele Pulcini, University of Rome Tor Vergata, Italy Title: Complementary Proof Nets for Classical Logic Abstract: A complementary system for a given logic is a proof system whose theorems are