lists.cs.uni-kassel.de
Sign In
Sign Up
Sign In
Sign Up
Manage this list
×
Keyboard Shortcuts
Thread View
j
: Next unread message
k
: Previous unread message
j a
: Jump to all threads
j l
: Jump to MailingList overview
2024
November
October
September
August
July
June
May
April
March
February
January
2023
December
November
October
September
August
July
June
May
April
March
February
January
2022
December
November
October
September
August
July
June
May
April
March
February
January
2021
December
November
October
List overview
Download
thread
[CG] Re: Differential Propositional Calculus
Jon Awbrey
30 Nov 2023
30 Nov '23
8:40 p.m.
Differential Propositional Calculus • 14 •
http://inquiryintoinquiry.com/2023/11/30/differential-propositional-calculu…
All, Differential Extensions — Table 11 summarizes the notations needed to describe the first order differential extensions of propositional calculi in a systematic manner. Table 11. Differential Extension • Basic Notation •
https://inquiryintoinquiry.files.wordpress.com/2020/03/differential-extensi…
Resources — Logic Syllabus •
https://inquiryintoinquiry.com/logic-syllabus/
Differential Propositional Calculus •
https://oeis.org/wiki/Differential_Propositional_Calculus_%E2%80%A2_Overview
•
https://oeis.org/wiki/Differential_Propositional_Calculus_%E2%80%A2_Part_1
•
https://oeis.org/wiki/Differential_Propositional_Calculus_%E2%80%A2_Part_2
Differential Logic and Dynamic Systems •
https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Part…
Differential Extension of Propositional Calculus •
https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Part…
Regards, Jon cc:
https://www.academia.edu/community/LppYYL
Attachments:
DifferentialExtensionBasicNotation.png
(image/png — 98.4 KB)
0
0
Reply
Back to the thread
Back to the list