Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
| From | Mikko <mikko.levanto@iki.fi> |
|---|---|
| Newsgroups | sci.logic, comp.theory, sci.math, comp.ai.philosophy |
| Subject | Re: William T. Parry gets rid of Disjunction introduction |
| Followup-To | sci.logic |
| Date | 2026-07-09 10:48 +0300 |
| Organization | A noiseless patient Spider |
| Message-ID | <112njor$7ndt$1@dont-email.me> (permalink) |
| References | (26 earlier) <111trkm$apfa$2@dont-email.me> <111vsp7$tv6i$1@dont-email.me> <1120h9s$1494d$2@dont-email.me> <1122dar$1m7u9$1@dont-email.me> <1123aa6$1uikp$1@dont-email.me> |
Cross-posted to 4 groups.
Followups directed to: sci.logic
On 01/07/2026 18:04, olcott wrote: > On 7/1/2026 1:50 AM, Mikko wrote: >> On 30/06/2026 16:45, olcott wrote: >>> On 6/30/2026 2:55 AM, Mikko wrote: >>>> On 29/06/2026 16:23, dbush wrote: >>>>> On 6/29/2026 9:17 AM, polcott wrote: >>>>>> On 6/29/2026 7:08 AM, dbush wrote: >>>>>>> On 6/29/2026 12:13 AM, olcott wrote: >>>>>>>> On 6/28/2026 10:56 PM, dbush wrote: >>>>>>>>> On 6/27/2026 11:34 PM, dbush wrote: >>>>>>>>>> On 6/27/2026 11:23 PM, olcott wrote: >>>>>>>>>>> On 6/27/2026 9:02 PM, dbush wrote: >>>>>>>>>>>> On 6/27/2026 9:53 PM, dbush wrote: >>>>>>>>>>>>> On 6/27/2026 9:49 PM, olcott wrote: >>>>>>>>>>>>>> On 6/27/2026 8:42 PM, dbush wrote: >>>>>>>>>>>>>>> On 6/27/2026 9:40 PM, olcott wrote: >>>>>>>>>>>>>>>> On 6/27/2026 8:29 PM, dbush wrote: >>>>>>>>>>>>>>>>> On 6/27/2026 9:24 PM, olcott wrote: >>>>>>>>>>>>>>>>>> On 6/27/2026 8:08 PM, dbush wrote: >>>>>>>>>>>>>>>>>>> On 6/27/2026 7:56 PM, olcott wrote: >>>>>>>>>>>>>>>>>>>> On 6/27/2026 6:30 PM, dbush wrote: >>>>>>>>>>>>>>>>>>>>> On 6/27/2026 7:22 PM, olcott wrote: >>>>>>>>>>>>>>>>>>>>>> On 6/27/2026 5:52 PM, dbush wrote: >>>>>>>>>>>>>>>>>>>>>>> On 6/27/2026 6:40 PM, olcott wrote: >>>>>>>>>>>>>>>>>>>>>>>> On 6/27/2026 1:34 PM, dbush wrote: >>>>>>>>>>>>>>>>>>>>>>>>> On 6/27/2026 2:29 PM, olcott wrote: >>>>>>>>>>>>>>>>>>>>>>>>>> On 6/27/2026 1:24 PM, dbush wrote: >>>>>>>>>>>>>>>>>>>>>>>>>>> On 6/27/2026 2:03 PM, olcott wrote: >>>>>>>>>>>>>>>>>>>>>>>>>>>> On 6/27/2026 12:54 PM, dbush wrote: >>>>>>>>>>>>>>>>>>>>>>>>>>>>> On 6/27/2026 11:11 AM, polcott wrote: >>>>>>>>>>>>>>>>>>>>>>>>>>>>>> On 6/27/2026 2:08 AM, Mikko wrote: >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> On 26/06/2026 15:49, olcott wrote: >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> On 6/26/2026 1:49 AM, Mikko wrote: >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> On 26/06/2026 04:32, olcott wrote: >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> William T. Parry, Entailment Logics >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> gets rid of Disjunction introduction >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> to prevent the principle of explosion >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> A simple logical matrix and sequent >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> calculus for >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Parry’s logic of Analytic Implication >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> The main and distinctive feature of >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> PAI (and of the many >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> systems of analytic implication >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> belonging to its ilk) is >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> the rejection of the classically valid >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> principle of Addition, >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> sometimes also referred to as >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Disjunction Introduction. In >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> other words, the principle leading >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> from a formula ϕ to a >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> disjunction of the form ϕ ∨ ψ, where ψ >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> is an arbitrary >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> formula. Parry blamed on this >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> principle the derivability >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> of the paradoxes of strict implication >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> — given that it is >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> famously featured in Lewis’ derivation >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> of an arbitrary >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> formula ψ from a contradiction of the >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> form ϕ ∧ ¬ϕ. >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> https://philarchive.org/archive/SZMASL >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> He also gets rid of an efficient way to >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> convince people who don't >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> understand much of logic. >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> As I recently showed in another post. I >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> figured >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> all this out on my own. I didn't even >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> know that >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> anyone else ever did this. I just knew >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> that when >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> trying to find out what is deduced from >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> a set of >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> premises that you cannot pop in another >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> sentence >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> from out of nowhere and get a correct >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> conclusion. >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> By popping in another sentence from out >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> of nowhere >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> (as it shows above) the principle of >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> explosion is >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> derived. >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> The usual meaning of proof is a sequence >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> of statement where eachstatement either >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> is a premis or follows from one or more >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> earlier >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> statements >>>>>>>>>>>>>>>>>>>>>>>>>>>>>> >>>>>>>>>>>>>>>>>>>>>>>>>>>>>> Except with Disjunction introduction, that >>>>>>>>>>>>>>>>>>>>>>>>>>>>>> is its problem. >>>>>>>>>>>>>>>>>>>>>>>>>>>>> >>>>>>>>>>>>>>>>>>>>>>>>>>>>> So you're saying that in the following >>>>>>>>>>>>>>>>>>>>>>>>>>>>> natural language statement: >>>>>>>>>>>>>>>>>>>>>>>>>>>>> >>>>>>>>>>>>>>>>>>>>>>>>>>>> >>>>>>>>>>>>>>>>>>>>>>>>>>>> It is a key issue in that it creates the >>>>>>>>>>>>>>>>>>>>>>>>>>>> psychotic break from reality known as the >>>>>>>>>>>>>>>>>>>>>>>>>>>> Principle of Explosion, otherwise it may >>>>>>>>>>>>>>>>>>>>>>>>>>>> make no difference at all. >>>>>>>>>>>>>>>>>>>>>>>>>>>> >>>>>>>>>>>>>>>>>>>>>>>>>>>> Stay on topic or I will block you. >>>>>>>>>>>>>>>>>>>>>>>>>>> >>>>>>>>>>>>>>>>>>>>>>>>>>> Explain in detail how the below which you >>>>>>>>>>>>>>>>>>>>>>>>>>> dishonestly trimmed is off- topic. >>>>>>>>>>>>>>>>>>>>>>>>>>> >>>>>>>>>>>>>>>>>>>>>>>>>> >>>>>>>>>>>>>>>>>>>>>>>>>> The topic is how Disjunction introduction >>>>>>>>>>>>>>>>>>>>>>>>>> enables the >>>>>>>>>>>>>>>>>>>>>>>>>> Principle of Explosion. >>>>>>>>>>>>>>>>>>>>>>>>>> >>>>>>>>>>>>>>>>>>>>>>>>> >>>>>>>>>>>>>>>>>>>>>>>>> Rejected, as you not liking the result doesn't >>>>>>>>>>>>>>>>>>>>>>>>> make it invalid. >>>>>>>>>>>>>>>>>>>>>>>>> >>>>>>>>>>>>>>>>>>>>>>>>> Through a series of truth preserving >>>>>>>>>>>>>>>>>>>>>>>>> operations, when a contradiction is given as >>>>>>>>>>>>>>>>>>>>>>>>> true, any statement can be proven as true. >>>>>>>>>>>>>>>>>>>>>>>>> >>>>>>>>>>>>>>>>>>>>>>>>> The principle of explosion is a demonstration >>>>>>>>>>>>>>>>>>>>>>>>> of *why* a formal system whose axioms lead to a >>>>>>>>>>>>>>>>>>>>>>>>> contradiction is useless. >>>>>>>>>>>>>>>>>>>>>>>>> >>>>>>>>>>>>>>>>>>>>>>>>> The only reason someone would want to get rid >>>>>>>>>>>>>>>>>>>>>>>>> of the principle of explosion is to be able to >>>>>>>>>>>>>>>>>>>>>>>>> use a system that has a contradiction. >>>>>>>>>>>>>>>>>>>>>>>>> >>>>>>>>>>>>>>>>>>>>>>>> >>>>>>>>>>>>>>>>>>>>>>>> My reason to get rid of the principle of explosion >>>>>>>>>>>>>>>>>>>>>>>> it to get rid of anything and everything that >>>>>>>>>>>>>>>>>>>>>>>> prevents >>>>>>>>>>>>>>>>>>>>>>>> infallibly correct reasoning. >>>>>>>>>>>>>>>>>>>>>>>> >>>>>>>>>>>>>>>>>>>>>>> >>>>>>>>>>>>>>>>>>>>>>> If you get rid of the principle of explosion, the >>>>>>>>>>>>>>>>>>>>>>> law of non- contradiction goes away as it looses >>>>>>>>>>>>>>>>>>>>>>> its basis. >>>>>>>>>>>>>>>>>>>>>>> >>>>>>>>>>>>>>>>>>>>>> >>>>>>>>>>>>>>>>>>>>>> You keep failing to pay close enough attention. >>>>>>>>>>>>>>>>>>>>>> I only get rid of the POE by getting rid of >>>>>>>>>>>>>>>>>>>>>> Disjunction introduction. >>>>>>>>>>>>>>>>>>>>> >>>>>>>>>>>>>>>>>>>>> Which you can't do because it's a truth-preserving >>>>>>>>>>>>>>>>>>>>> operation. >>>>>>>>>>>>>>>>>>>>> >>>>>>>>>>>>>>>>>>>> 1) P ∧ ¬P // Premise >>>>>>>>>>>>>>>>>>>> 2) P // Conjunction elimination >>>>>>>>>>>>>>>>>>>> 3) ¬P // Conjunction elimination >>>>>>>>>>>>>>>>>>>> 4) P ∨ Q // Disjunction introduction >>>>>>>>>>>>>>>>>>>> 5) Q // Disjunctive syllogism >>>>>>>>>>>>>>>>>>>> https://en.wikipedia.org/wiki/ >>>>>>>>>>>>>>>>>>>> Principle_of_explosion#Proof >>>>>>>>>>>>>>>>>>>> >>>>>>>>>>>>>>>>>>>> When you insert English meanings into the >>>>>>>>>>>>>>>>>>>> propositional variables it is as obvious >>>>>>>>>>>>>>>>>>>> as a pie in the fact the DI IS NOT TRUTH PRESERVING. >>>>>>>>>>>>>>>>>>> >>>>>>>>>>>>>>>>>>> So you're saying that in the following natural >>>>>>>>>>>>>>>>>>> language statement: >>>>>>>>>>>>>>>>>>> >>>>>>>>>>>>>>>>>>> -------------------------------------- >>>>>>>>>>>>>>>>>>> At least one of the following statements is true: >>>>>>>>>>>>>>>>>>> - Earth is the third planet from the sun. >>>>>>>>>>>>>>>>>>> - <X> >>>>>>>>>>>>>>>>>>> -------------------------------------- >>>>>>>>>>>>>>>>>>> >>>>>>>>>>>>>>>>>>> Where <X> is any natural language statement, there >>>>>>>>>>>>>>>>>>> exists a statement X such that the condition "At >>>>>>>>>>>>>>>>>>> least one of the following statements is true" is false. >>>>>>>>>>>>>>>>>>> >>>>>>>>>>>>>>>>>>> Name it. >>>>>>>>>>>>>>>>>>> >>>>>>>>>>>>>>>>>> >>>>>>>>>>>>>>>>>> That is not Disjunction introduction combined with >>>>>>>>>>>>>>>>>> Disjunctive syllogism, it is bare Disjunction. >>>>>>>>>>>>>>>>>> >>>>>>>>>>>>>>>>> >>>>>>>>>>>>>>>>> Let me spell it out more explicitly then. >>>>>>>>>>>>>>>>> >>>>>>>>>>>>>>>>> Given that the following natural language statement is >>>>>>>>>>>>>>>>> true: >>>>>>>>>>>>>>>>> >>>>>>>>>>>>>>>>> -------------------------------------- >>>>>>>>>>>>>>>>> Earth is the third planet from the sun. >>>>>>>>>>>>>>>>> -------------------------------------- >>>>>>>>>>>>>>>>> >>>>>>>>>>>>>>>>> In the following natural language statement: >>>>>>>>>>>>>>>>> >>>>>>>>>>>>>>>>> -------------------------------------- >>>>>>>>>>>>>>>>> At least one of the following statements is true: >>>>>>>>>>>>>>>>> - Earth is the third planet from the sun. >>>>>>>>>>>>>>>>> - <X> >>>>>>>>>>>>>>>>> -------------------------------------- >>>>>>>>>>>>>>>>> >>>>>>>>>>>>>>>>> Where <X> is any natural language statement, does there >>>>>>>>>>>>>>>>> exist a statement X such that the condition "At least >>>>>>>>>>>>>>>>> one of the following statements is true" is false? >>>>>>>>>>>>>>>>> >>>>>>>>>>>>>>>> >>>>>>>>>>>>>>>> Where X is "What time is it?" >>>>>>>>>>>>>>>> >>>>>>>>>>>>>>>> >>>>>>>>>>>>>>> >>>>>>>>>>>>>>> Is the statement "Earth is the third planet from the sun" >>>>>>>>>>>>>>> true? >>>>>>>>>>>>>> >>>>>>>>>>>>>> We have a type mismatch error. >>>>>>>>>>>>>> >>>>>>>>>>>>>> >>>>>>>>>>>>> >>>>>>>>>>>>> The statement you gave isn't a truth-bearing statement, so >>>>>>>>>>>>> it can't be used in logic. I didn't think I had to make >>>>>>>>>>>>> that explicit. >>>>>>>>>>>>> >>>>>>>>>>>>> However, let's go with it anyway because it still >>>>>>>>>>>>> illustrates the point. >>>>>>>>>>>>> >>>>>>>>>>>>> So I'll ask again: >>>>>>>>>>>>> >>>>>>>>>>>>> Is the statement "Earth is the third planet from the sun" >>>>>>>>>>>>> true? >>>>>>>>>>>>> >>>>>>>>>>>> >>>>>>>>>>>> On second though, let's back up as that might confuse you. >>>>>>>>>>>> >>>>>>>>>>>> Given that <X> is any *truth bearing* natural language >>>>>>>>>>>> statement, does there exist a statement X such that the >>>>>>>>>>>> condition "At least one of the following statements is true" >>>>>>>>>>>> is false? >>>>>>>>>>>> >>>>>>>>>>> >>>>>>>>>>> Head games will be ignored. >>>>>>>>>>> That you did so well on the other things >>>>>>>>>>> so I will not block you. >>>>>>>>>>> >>>>>>>>>> >>>>>>>>>> Explain in detail how this is a head game. >>>>>>>>>> >>>>>>>>>> Failure to either answer the above question or explain how it >>>>>>>>>> is a head game in your next reply or within one hour of you >>>>>>>>>> next post in this newsgroup will be taken as your official, >>>>>>>>>> on- the- record admission that Disjunction introduction is in >>>>>>>>>> fact truth preserving and valid, and therefore so is the >>>>>>>>>> Principle of Explosion. >>>>>>>>>> >>>>>>>>> >>>>>>>>> Let the record show that Peter Olcott made the following post >>>>>>>>> in this newsgroup: >>>>>>>>> >>>>>>>>> On 6/28/2026 10:52 PM, olcott wrote: >>>>>>>>> > Q also can't bake a birthday cake, this does not make >>>>>>>>> > Q in any way "incomplete" relative to what it was >>>>>>>>> > defined to do. >>>>>>>>> > ... >>>>>>>>> >>>>>>>>> And more that one hour has passed with no attempt to answer the >>>>>>>>> above question or explain why it is a head game. Therefore, as >>>>>>>>> per the above criteria: >>>>>>>>> >>>>>>>>> Let The Record Show >>>>>>>>> >>>>>>>>> That Peter Olcott >>>>>>>>> >>>>>>>>> Has *Officially* Admitted: >>>>>>>>> >>>>>>>>> That Disjunction introduction is in fact truth preserving and >>>>>>>>> valid, and therefore so is the Principle of Explosion. >>>>>>>>> >>>>>>>> >>>>>>>> >>>>>>>> William T. Parry, Entailment Logics >>>>>>>> gets rid of Disjunction introduction >>>>>>>> to prevent the principle of explosion >>>>>>>> >>>>>>>> A simple logical matrix and sequent calculus for >>>>>>>> Parry’s logic of Analytic Implication >>>>>>>> >>>>>>>> The main and distinctive feature of PAI (and of the many >>>>>>>> systems of analytic implication belonging to its ilk) is >>>>>>>> >>>>>>>> the rejection of the classically valid principle of Addition, >>>>>>>> sometimes also referred to as Disjunction Introduction. In >>>>>>>> >>>>>>>> other words, the principle leading from a formula ϕ to a >>>>>>>> disjunction of the form ϕ ∨ ψ, where ψ is an arbitrary >>>>>>>> formula. Parry blamed on this principle the derivability >>>>>>>> of the paradoxes of strict implication—given that it is >>>>>>>> famously featured in Lewis’ derivation of an arbitrary >>>>>>>> formula ψ from a contradiction of the form ϕ ∧ ¬ϕ. >>>>>>>> >>>>>>>> https://philarchive.org/archive/SZMASL >>>>>>>> >>>>>>> >>>>>>> So someone came up with a different system that has different >>>>>>> rules. That has no bearing on existing systems. >>>>>>> >>>>>> >>>>>> The bearing that it has on existing systems is >>>>> >>>>> None, as you can't remove a truth-preserving operation. >>>> >>>> One can construct a system where a truth-preserving operation is not >>>> valid, and must if one wants to construct a paraconsistent system, >>>> where some but not every sentence can be both PTS-true and PTS-false. >>>> >>> >>> Current semantic entailment is the only inference step allowed. >> >> Every truth-prserving transformation is a correct semantic entailment. >> In particular, disjunction introduction is. > > That is counter-factual. No, it is not. It is a matter of definition. Because you have not defined "correct semantic entailment" as an inference rule my statement cannot contradict your definition. > POE is misconstrued as truth preserving. Who has said that POE preserves truth? And what does it even mean if one says that POE preserves or does not preserve truth? > Every element of logic is utterly discarded and only the underlying > semantics is preserved. If you reject inferences (wich are central elements of logic) then you can't infer anyting from anything. A part of natural language semantics is logical inference. If you reject logic you must also reject the logical part of natural language semantics. -- Mikko
Back to sci.logic | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-06-25 20:32 -0500
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-06-26 09:49 +0300
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-06-26 07:49 -0500
Re: William T. Parry gets rid of Disjunction introduction dbush <dbush.mobile@gmail.com> - 2026-06-26 09:14 -0400
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-06-26 08:17 -0500
Re: William T. Parry gets rid of Disjunction introduction dbush <dbush.mobile@gmail.com> - 2026-06-26 09:22 -0400
Re: William T. Parry gets rid of Disjunction introduction dbush <dbush.mobile@gmail.com> - 2026-06-26 09:24 -0400
Re: William T. Parry gets rid of Disjunction introduction dbush <dbush.mobile@gmail.com> - 2026-06-26 12:09 -0400
Re: William T. Parry gets rid of Disjunction introduction Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-27 07:18 -0700
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-06-27 10:11 +0300
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-06-27 10:08 +0300
Re: William T. Parry gets rid of Disjunction introduction polcott <polcott333@gmail.com> - 2026-06-27 10:11 -0500
Re: William T. Parry gets rid of Disjunction introduction dbush <dbush.mobile@gmail.com> - 2026-06-27 13:54 -0400
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-06-27 13:03 -0500
Re: William T. Parry gets rid of Disjunction introduction dbush <dbush.mobile@gmail.com> - 2026-06-27 14:24 -0400
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-06-27 13:29 -0500
Re: William T. Parry gets rid of Disjunction introduction dbush <dbush.mobile@gmail.com> - 2026-06-27 14:34 -0400
Re: William T. Parry gets rid of Disjunction introduction dbush <dbush.mobile@gmail.com> - 2026-06-27 18:30 -0400
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-06-27 17:40 -0500
Re: William T. Parry gets rid of Disjunction introduction dbush <dbush.mobile@gmail.com> - 2026-06-27 18:52 -0400
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-06-27 18:22 -0500
Re: William T. Parry gets rid of Disjunction introduction dbush <dbush.mobile@gmail.com> - 2026-06-27 19:30 -0400
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-06-27 18:56 -0500
Re: William T. Parry gets rid of Disjunction introduction dbush <dbush.mobile@gmail.com> - 2026-06-27 21:08 -0400
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-06-27 20:24 -0500
Re: William T. Parry gets rid of Disjunction introduction dbush <dbush.mobile@gmail.com> - 2026-06-27 21:29 -0400
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-06-27 20:40 -0500
Re: William T. Parry gets rid of Disjunction introduction dbush <dbush.mobile@gmail.com> - 2026-06-27 21:42 -0400
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-06-27 20:49 -0500
Re: William T. Parry gets rid of Disjunction introduction dbush <dbush.mobile@gmail.com> - 2026-06-27 21:53 -0400
Re: William T. Parry gets rid of Disjunction introduction dbush <dbush.mobile@gmail.com> - 2026-06-27 22:02 -0400
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-06-27 22:23 -0500
Re: William T. Parry gets rid of Disjunction introduction dbush <dbush.mobile@gmail.com> - 2026-06-27 23:34 -0400
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-06-28 12:23 +0300
Re: William T. Parry gets rid of Disjunction introduction dbush <dbush.mobile@gmail.com> - 2026-06-28 23:56 -0400
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-06-28 23:13 -0500
Re: William T. Parry gets rid of Disjunction introduction dbush <dbush.mobile@gmail.com> - 2026-06-29 08:08 -0400
Re: William T. Parry gets rid of Disjunction introduction polcott <polcott333@gmail.com> - 2026-06-29 08:17 -0500
Re: William T. Parry gets rid of Disjunction introduction dbush <dbush.mobile@gmail.com> - 2026-06-29 09:23 -0400
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-06-29 09:00 -0500
Re: William T. Parry gets rid of Disjunction introduction dbush <dbush.mobile@gmail.com> - 2026-06-29 10:01 -0400
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-06-30 11:48 +0300
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-06-30 09:37 -0500
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-07-01 09:46 +0300
Re: William T. Parry gets rid of Disjunction introduction Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-01 04:33 -0700
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-01 10:01 -0500
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-07-02 09:21 +0300
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-02 09:37 -0500
Re: William T. Parry gets rid of Disjunction introduction dbush <dbush.mobile@gmail.com> - 2026-07-02 10:42 -0400
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-07-03 11:17 +0300
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-03 09:46 -0500
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-07-04 09:37 +0300
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-04 08:15 -0500
Re: William T. Parry gets rid of Disjunction introduction dbush <dbush.mobile@gmail.com> - 2026-07-04 09:19 -0400
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-07-06 10:16 +0300
Olcott gets rid of the Principle of Explosion olcott <polcott333@gmail.com> - 2026-07-06 08:56 -0500
Re: Olcott gets rid of the Principle of Explosion dbush <dbush.mobile@gmail.com> - 2026-07-06 10:09 -0400
Re: Olcott gets rid of the Principle of Explosion Mikko <mikko.levanto@iki.fi> - 2026-07-08 12:05 +0300
Re: Olcott gets rid of the Principle of Explosion Mikko <mikko.levanto@iki.fi> - 2026-07-08 12:02 +0300
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-07-06 13:17 +0300
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-06 12:54 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> - 2026-07-06 12:57 -0600
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-06 14:06 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> - 2026-07-06 13:17 -0600
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-06 15:04 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> - 2026-07-06 14:20 -0600
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-06 16:54 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> - 2026-07-06 16:15 -0600
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-06 17:36 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> - 2026-07-06 16:50 -0600
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-06 17:53 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> - 2026-07-06 17:37 -0600
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-06 18:40 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> - 2026-07-06 18:47 -0600
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-06 20:24 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> - 2026-07-06 19:49 -0600
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-06 20:57 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> - 2026-07-06 20:11 -0600
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-06 21:24 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> - 2026-07-06 20:41 -0600
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-06 21:44 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> - 2026-07-06 21:03 -0600
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-06 22:12 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> - 2026-07-06 21:28 -0600
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-06 22:40 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> - 2026-07-07 09:31 -0600
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-07 11:04 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> - 2026-07-07 12:46 -0600
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-07 14:19 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> - 2026-07-07 13:29 -0600
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-07 14:53 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> - 2026-07-07 14:08 -0600
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-07 16:13 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> - 2026-07-07 15:24 -0600
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-07 16:30 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> - 2026-07-07 17:06 -0600
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-07 19:05 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> - 2026-07-07 19:17 -0600
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-07 20:49 -0500
Re: William T. Parry gets rid of Disjunction introduction "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-07-08 15:12 -0700
Re: William T. Parry gets rid of Disjunction introduction Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-06 21:58 -0700
Re: William T. Parry gets rid of Disjunction introduction Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-07 08:44 -0700
Re: William T. Parry gets rid of Disjunction introduction Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-07 08:56 -0700
Ross Finlayson what about the Prolog Liar Paradox ? olcott <polcott333@gmail.com> - 2026-07-07 11:10 -0500
Re: Ross Finlayson what about the Prolog Liar Paradox ? Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-07 10:53 -0700
Re: Ross Finlayson what about the Prolog Liar Paradox ? olcott <polcott333@gmail.com> - 2026-07-07 13:07 -0500
Re: Ross Finlayson what about the Prolog Liar Paradox ? Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-07 12:17 -0700
Re: Ross Finlayson what about the Prolog Liar Paradox ? olcott <polcott333@gmail.com> - 2026-07-07 14:48 -0500
Re: Ross Finlayson what about the Prolog Liar Paradox ? Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-07 14:35 -0700
Re: Ross Finlayson what about the Prolog Liar Paradox ? Alan Mackenzie <acm@muc.de> - 2026-07-07 21:57 +0000
Re: Ross Finlayson what about the Prolog Liar Paradox ? Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-08 00:36 -0700
Re: Ross Finlayson what about the Prolog Liar Paradox ? olcott <polcott333@gmail.com> - 2026-07-07 17:17 -0500
Re: William T. Parry gets rid of Disjunction introduction Alan Mackenzie <acm@muc.de> - 2026-07-06 22:17 +0000
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-06 17:31 -0500
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-07-08 12:10 +0300
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-06-30 10:55 +0300
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-06-30 08:45 -0500
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-07-01 09:50 +0300
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-01 10:04 -0500
Re: William T. Parry gets rid of Disjunction introduction dbush <dbush.mobile@gmail.com> - 2026-07-01 13:34 -0400
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-07-02 09:27 +0300
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-07-09 10:48 +0300
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-07-09 10:40 +0300
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-06-28 12:22 +0300
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-06-28 12:18 +0300
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-06-28 12:13 +0300
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-06-28 12:32 +0300
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-06-28 22:17 -0500
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-06-29 12:29 +0300
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-06-29 08:55 -0500
Re: William T. Parry gets rid of Disjunction introduction dbush <dbush.mobile@gmail.com> - 2026-06-29 09:59 -0400
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-06-30 11:10 +0300
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-06-30 08:55 -0500
Re: William T. Parry gets rid of Disjunction introduction dbush <dbush.mobile@gmail.com> - 2026-06-30 10:01 -0400
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-07-01 09:53 +0300
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-01 10:06 -0500
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-07-02 09:29 +0300
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-02 09:40 -0500
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-07-03 11:22 +0300
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-03 09:50 -0500
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-07-04 11:15 +0300
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-04 12:09 -0500
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-07-06 10:20 +0300
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-07-01 10:32 +0300
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-01 10:25 -0500
Re: William T. Parry gets rid of Disjunction introduction dbush <dbush.mobile@gmail.com> - 2026-07-01 13:37 -0400
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-01 13:02 -0500
Re: William T. Parry gets rid of Disjunction introduction dbush <dbush.mobile@gmail.com> - 2026-07-01 14:17 -0400
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-07-02 09:31 +0300
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-02 09:40 -0500
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-07-03 11:24 +0300
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-03 10:04 -0500
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-07-04 09:47 +0300
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-04 08:21 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> - 2026-07-04 09:08 -0600
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-04 11:44 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> - 2026-07-04 10:59 -0600
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-04 15:58 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> - 2026-07-04 15:29 -0600
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-04 16:36 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> - 2026-07-04 16:11 -0600
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-04 18:42 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> - 2026-07-04 17:57 -0600
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-04 19:08 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> - 2026-07-04 18:23 -0600
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-04 19:33 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> - 2026-07-04 18:43 -0600
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-04 20:18 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> - 2026-07-04 19:28 -0600
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-04 21:17 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> - 2026-07-04 20:22 -0600
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-04 21:29 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> - 2026-07-04 20:50 -0600
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-04 22:17 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> - 2026-07-04 21:23 -0600
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-04 22:45 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> - 2026-07-04 21:52 -0600
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-04 23:05 -0500
Re: William T. Parry gets rid of Disjunction introduction André G. Isaak <agisaak@gm.invalid> - 2026-07-05 14:40 -0600
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-05 15:51 -0500
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-07-06 10:40 +0300
Re: William T. Parry gets rid of Disjunction introduction Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-07-06 13:06 +0100
Re: William T. Parry gets rid of Disjunction introduction Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-07-06 19:40 +0100
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-07-04 11:16 +0300
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-04 12:11 -0500
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-07-06 10:53 +0300
Re: William T. Parry gets rid of Disjunction introduction Mikko <mikko.levanto@iki.fi> - 2026-06-28 12:04 +0300
Re: William T. Parry gets rid of Disjunction introduction Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-07-06 12:49 +0100
Re: William T. Parry gets rid of Disjunction introduction olcott <polcott333@gmail.com> - 2026-07-06 08:45 -0500
Re: William T. Parry gets rid of Disjunction introduction dbush <dbush.mobile@gmail.com> - 2026-07-06 09:50 -0400
csiph-web