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: Logic Syllabus
Jon Awbrey
1 Jun 2023
1 Jun '23
3:18 p.m.
Cf: Logic Syllabus • 5 •
https://inquiryintoinquiry.com/logic-syllabus/
Related Articles •
https://oeis.org/wiki/Logic_Syllabus#Related_articles
Cactus Language •
https://oeis.org/wiki/Cactus_Language_%E2%80%A2_Overview
Futures Of Logical Graphs •
https://oeis.org/wiki/Futures_Of_Logical_Graphs
Differential Propositional Calculus •
https://oeis.org/wiki/Differential_Propositional_Calculus_%E2%80%A2_Overview
Differential Logic •
https://oeis.org/wiki/Differential_Logic_%E2%80%A2_Overview
Differential Logic and Dynamic Systems •
https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Over…
Propositions As Types Analogy •
https://oeis.org/wiki/Propositions_As_Types_Analogy
Propositional Equation Reasoning Systems •
https://oeis.org/wiki/Propositional_Equation_Reasoning_Systems
Prospects for Inquiry Driven Systems •
https://oeis.org/wiki/User:Jon_Awbrey/Prospects_for_Inquiry_Driven_Systems
Introduction to Inquiry Driven Systems •
https://oeis.org/wiki/Introduction_to_Inquiry_Driven_Systems
Inquiry Driven Systems • Inquiry Into Inquiry •
https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Overview
#Logic #LogicSyllabus #CactusLanguage #LogicalGraphs #DifferentialLogic #DifferentialPropositionalCalculus #DifferentialLogicAndDynamicSystems #PropositionsAsTypesAnalogy #PropositionalEquationReasoningSystems #Inquiry #InquiryDrivenSystems #InquiryIntoInquiry #DynamicalSystems Regards, Jon (
https://mathstodon.xyz/@Inquiry
)
0
0
Reply
Back to the thread
Back to the list