Jon Awbrey · @Inquiry
231 followers · 1719 posts · Server mathstodon.xyz
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_Overview
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
#dynamicalsystems #inquiryintoinquiry #InquiryDrivenSystems #inquiry #propositionalequationreasoningsystems #propositionsastypesanalogy #differentiallogicanddynamicsystems #DifferentialPropositionalCalculus #DifferentialLogic #LogicalGraphs #CactusLanguage #logicsyllabus #logic
Jon Awbrey · @Inquiry
231 followers · 1719 posts · Server mathstodon.xyzLogic 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_Overview
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
#dynamicalsystems #inquiryintoinquiry #InquiryDrivenSystems #inquiry #propositionalequationreasoningsystems #propositionsastypesanalogy #differentiallogicanddynamicsystems #DifferentialPropositionalCalculus #DifferentialLogic #LogicalGraphs #CactusLanguage #logicsyllabus #logic