Path: ...!news.mixmin.net!weretis.net!feeder8.news.weretis.net!reader5.news.weretis.net!news.solani.org!.POSTED!not-for-mail
From: Mild Shock <janburse@fastmail.fm>
Newsgroups: comp.lang.prolog
Subject: Minimal Logics in the 2020's: A Meteoric Rise (Was: The road to
 Artificial Intelligence)
Date: Thu, 4 Jul 2024 23:09:03 +0200
Message-ID: <v6731e$6eft$1@solani.org>
References: <b406aa35-c39b-46f3-862f-1cc4b75143ae@googlegroups.com>
 <1b7ce2bd-722b-4c2e-b853-12fc2232752bn@googlegroups.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 4 Jul 2024 21:09:02 -0000 (UTC)
Injection-Info: solani.org;
	logging-data="211453"; mail-complaints-to="abuse@news.solani.org"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
 Firefox/91.0 SeaMonkey/2.53.18.2
Cancel-Lock: sha1:SprL4C9zUhuZQkhcPrFT767+4+w=
In-Reply-To: <1b7ce2bd-722b-4c2e-b853-12fc2232752bn@googlegroups.com>
X-User-ID: eJwFwYEBwCAIA7CXWqGo54CD/09YIgvG2x4K12gm7dm+UySiidUFXboSvLIv15cNqTrKmwuHB27xJHAXf0GyFHU=
Bytes: 2862
Lines: 57


Could be a wake-up call this many participants
already in the commitee, that the whole logic
world was asleep for many years:

Non-Classical Logics. Theory and Applications XI,
5-8 September 2024, Lodz (Poland)
https://easychair.org/cfp/NCL24

Why is Minimal Logic at the core of many things?
Because it is the logic of Curry-Howard isomoprhism
for symple types:

----------------
Γ ∪ { A } ⊢ A

Γ ∪ { A } ⊢ B
----------------
Γ ⊢ A → B

Γ ⊢ A → B           Δ ⊢ A
----------------------------
Γ ∪ Δ ⊢ B

And funny things can happen, especially when people
hallucinate duality or think symmetry is given, for
example in newer inventions such as λμ-calculus,

but then omg ~~p => p is nevertheless not provable,
because they forgot an inference rule. LoL

Recommended reading so far:

Propositional Logics Related to Heyting’s and Johansson’s
February 2008 - Krister Segerberg
https://www.researchgate.net/publication/228036664

The Logic of Church and Curry
Jonathan P. Seldin - 2009
https://www.sciencedirect.com/handbook/handbook-of-the-history-of-logic/vol/5/suppl/C

Meanwhile I am going back to my tinkering with my
Prolog system, which even provides a more primitive
logic than minimal logic, pure Prolog is minimal

logic without embedded implication.

Mild Shock schrieb:
> 
> Your new Scrum Master is here! - ChatGPT, 2023
> https://www.bbntimes.com/companies/ai-will-make-agile-coaches-and-scrum-masters-redundant-in-less-than-2-years
> 
> LoL
> 
> Thomas Alva Edison schrieb am Dienstag, 10. Juli 2018 um 15:28:05 UTC+2:
>> Prolog Class Signpost - American Style 2018
>> https://www.youtube.com/watch?v=CxQKltWI0NA