Path: i2pn2.org!i2pn.org!news.bbs.nz!weretis.net!feeder6.news.weretis.net!border-2.nntp.ord.giganews.com!nntp.giganews.com!Xl.tags.giganews.com!local-1.nntp.ord.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Wed, 21 Feb 2024 20:40:17 +0000
Subject: Re: 21'st century natural deduction for foundations
Newsgroups: sci.logic
References: <b2eb932b-af6b-478c-bbce-e415b9f8657b@googlegroups.com>
From: ross.a.f...@gmail.com (Ross Finlayson)
Date: Wed, 21 Feb 2024 12:40:23 -0800
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101
Thunderbird/38.6.0
MIME-Version: 1.0
In-Reply-To: <b2eb932b-af6b-478c-bbce-e415b9f8657b@googlegroups.com>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <eYednT7hir8swkv4nZ2dnZfqn_GdnZ2d@giganews.com>
Lines: 1
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-o0rVrbjDHsDxwTFmHh3zpdnKcgAqcESirZqSdR+Kddu77qYoxGVtfsmkpqw1PnUsNoQoYspQ7nGQnuA!wGUbywzWcs3l+/I9+Sp1WurhZ4H4Tjlw/dBjS07j+Y+xwejtks8xquMInBEUh5D+ChXL92etDIqA
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40