Groups | Search | Server Info | Login | Register

Groups > sci.logic > #254336

Re: Expressability in the notation of set theory -- Follow-up

Newsgroups sci.logic
Date 2023-06-13 08:09 -0700
References <27fdee93-be6a-4a07-9cee-e8e589daf8ban@googlegroups.com> <eadb4eac-60a3-418b-a385-d1d018ffdcfen@googlegroups.com>
Message-ID <cf3b8b02-2a34-4d2d-ac14-e4c895eb946bn@googlegroups.com> (permalink)
Subject Re: Expressability in the notation of set theory -- Follow-up
From Dan Christensen <Dan_Christensen@sympatico.ca>

Show all headers | View raw

On Monday, June 12, 2023 at 6:04:42 PM UTC-4, Dan Christensen wrote:
> I hope to submit a much revised version in the next few days. 
> 

Apologies, but I will not  after all be submitting any more postings on so-called dependence logic.

"Dependence logic is a logical formalism, which adds dependence atoms to the language of first-order logic....

"Dependence logic is a LOGIC OF IMPERFECT INFORMATION." (???)

-- https://en.wikipedia.org/wiki/Dependence_logic

Like statistics or financial accounting, I'm sure it has many interesting applications , but I am not sufficiently motivated to pursue that matter any  further.

Dan

Back to sci.logic | Previous | Next — Previous in thread | Find similar

Thread

Expressability in the notation of set theory -- Follow-up Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-11 18:25 -0700
  Re: Expressability in the notation of set theory -- Follow-up Mild Shock <bursejan@gmail.com> - 2023-06-12 00:28 -0700
    Re: Expressability in the notation of set theory -- Follow-up Mild Shock <bursejan@gmail.com> - 2023-06-12 03:36 -0700
      Re: Expressability in the notation of set theory -- Follow-up Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-12 07:12 -0700
    Re: Expressability in the notation of set theory -- Follow-up Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-12 07:04 -0700
      Re: Expressability in the notation of set theory -- Follow-up Mild Shock <bursejan@gmail.com> - 2023-06-12 08:16 -0700
        Re: Expressability in the notation of set theory -- Follow-up Mild Shock <bursejan@gmail.com> - 2023-06-12 08:48 -0700
          Re: Expressability in the notation of set theory -- Follow-up Mild Shock <bursejan@gmail.com> - 2023-06-12 08:56 -0700
            Re: Expressability in the notation of set theory -- Follow-up Mild Shock <bursejan@gmail.com> - 2023-06-12 08:59 -0700
              Re: Expressability in the notation of set theory -- Follow-up Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-12 10:16 -0700
        Re: Expressability in the notation of set theory -- Follow-up Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-12 10:05 -0700
  Re: Expressability in the notation of set theory -- Follow-up Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-12 09:58 -0700
  Re: Expressability in the notation of set theory -- Follow-up Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-12 15:04 -0700
    Re: Expressability in the notation of set theory -- Follow-up Mild Shock <bursejan@gmail.com> - 2023-06-12 16:03 -0700
      Re: Expressability in the notation of set theory -- Follow-up Mild Shock <bursejan@gmail.com> - 2023-06-12 16:27 -0700
        Re: Expressability in the notation of set theory -- Follow-up Mild Shock <bursejan@gmail.com> - 2023-06-12 16:37 -0700
    Re: Expressability in the notation of set theory -- Follow-up Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-13 08:09 -0700

csiph-web