#RecursiveSystems #ComplexSystems #PhilosophyOfScience #FormalLogic #SystemsTheory #Emergence #SignalInteraction #FormalNotation #RecursiveDynamics #SymbolicSystems #MultiAgentSystems #TheoreticalFramework #Preprint #IndependentResearch #TRISIGIL
Sergei Yurevich Maslov
Theory of Deductive Systems and its Applications
1987
#book #monograph #logic #computation #deduction #inference #proof #formallogic #formalproof #formalsystem #automata #theoryofcomputation
archive.org/details/Theo...
Geometry of Reason: Spectral Signatures of Valid Mathematical Reasoning
Valentin Noël
Paper
Details
#MathematicalReasoning #SpectralGeometry #FormalLogic
Martin Gardner
Logic Machines and Diagrams
1958
#historyoflogic #formallogic #formalproof #diagram #diagrams #retrobooks
archive.org/details/logi...
Carnap is a free and open software framework written in Haskell for teaching and studying formal logic. Carnap powers logic courses at dozens of colleges and universities around the world
#carnap #haskell #formallogic
carnap.io
#Amazon is leveraging #automatedreasoning, a form of #AI based on #formallogic, to address the issue of #AIhallucinations. This approach uses #mathematicalcertainty to verify the accuracy of #generativeAI, particularly in the context of #AIagents. By combining the flexibility with the reliability,…
#buff #formallogic
Voltei a ler/ estudar umas coisas de lógica e tá sendo bem legal revisitar esse tema.
Estou lendo Simple formal logic with common-sense symbolic techniques e estou curtindo bastante a leitura. É bom e não é excessivamente formal.
I"m getting too old for this shit. #formallogic
