Path: ...!feeds.phibee-telecom.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: sci.logic
Subject: Re: Minimal Logics in the 2020's: A Meteoric Rise
Date: Fri, 5 Jul 2024 03:58:03 +0200
Message-ID: <v67jvc$6l2j$1@solani.org>
References: <v67685$6fr5$1@solani.org> <v676rf$2u7lu$1@dont-email.me>
 <v67i45$6keq$1@solani.org> <v67j9a$2vtu0$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 5 Jul 2024 01:58:04 -0000 (UTC)
Injection-Info: solani.org;
	logging-data="218195"; 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:4fRdLY2DQ7fxnaUYFyMsKKg2c+k=
X-User-ID: eJwFwYEBwDAEBMCVCP9kHFH2H6F3MCo7nKBjsXswEyO2DYns4g3ekeOqST2RT/JIEXPfF6gy/bwxbS1d9gM/0hUr
In-Reply-To: <v67j9a$2vtu0$2@dont-email.me>
Bytes: 1516
Lines: 11


When red means blue, and yellow means
green, then black is white. Thanks for your hint!

If my Grandmother had wheels she would have been a bike
https://www.youtube.com/watch?v=OplyHCIBmfE

olcott schrieb:
> When provable means true and false means unprovable
> then (Γ ⊢ X) means X is true in Γ.
> then (Γ ⊢ ~X) means X is conventional false  in Γ.
> the (Γ ⊬ X) ∧ (Γ ⊬ ~X) X is not a truth bearer in Γ.