The cake is in a #Paraconsistent, #NonClassical state.
en.wikipedia.org/wiki/Newton_...
#NewtonDaCosta #ParaconsistentLogic #NonClassicalLogic #QuasiTruth #PartialTruth #BrazilianPhilosophy #FormalLogic #PhilosophyOfScience #ModelTheory #FoundationsOfMathematics
en.wikipedia.org/wiki/Newton_...
#NewtonDaCosta #ParaconsistentLogic #NonClassicalLogic #QuasiTruth #PartialTruth #BrazilianPhilosophy #FormalLogic #PhilosophyOfScience #ModelTheory #FoundationsOfMathematics
Newton da Costa - Wikipedia
en.wikipedia.org
September 7, 2026 at 4:03 AM
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
#carnap #haskell #formallogic
carnap.io
Welcome To Carnap!
A formal logic framework for Haskell
carnap.io
December 24, 2025 at 10:00 PM
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
#carnap #haskell #formallogic
carnap.io
#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.
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.
November 27, 2024 at 7:28 PM
#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.
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.
The truth is in a #Paraconsistent, #NonClassical state.
en.wikipedia.org/wiki/Newton_...
#NewtonDaCosta #ParaconsistentLogic #NonClassicalLogic #QuasiTruth #PartialTruth #BrazilianPhilosophy #FormalLogic #PhilosophyOfScience #ModelTheory #FoundationsOfMathematics
bsky.app/profile/math...
en.wikipedia.org/wiki/Newton_...
#NewtonDaCosta #ParaconsistentLogic #NonClassicalLogic #QuasiTruth #PartialTruth #BrazilianPhilosophy #FormalLogic #PhilosophyOfScience #ModelTheory #FoundationsOfMathematics
bsky.app/profile/math...
September 7, 2026 at 4:06 AM
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...
Theory of Deductive Systems and its Applications
1987
#book #monograph #logic #computation #deduction #inference #proof #formallogic #formalproof #formalsystem #automata #theoryofcomputation
archive.org/details/Theo...
Theory of deductive systems and its applications : Maslov, S. I͡U. (Sergeĭ I͡Urʹevich) : Free Download, Borrow, and Streaming : Internet Archive
In a fluent, clear, and lively style this translation by two of Maslov's junior colleagues brings the work of the late Soviet scientist S. Yu. Maslov to a...
archive.org
February 6, 2026 at 11:19 PM
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...
Theory of Deductive Systems and its Applications
1987
#book #monograph #logic #computation #deduction #inference #proof #formallogic #formalproof #formalsystem #automata #theoryofcomputation
archive.org/details/Theo...
Martin Gardner
Logic Machines and Diagrams
1958
#historyoflogic #formallogic #formalproof #diagram #diagrams #retrobooks
archive.org/details/logi...
Logic Machines and Diagrams
1958
#historyoflogic #formallogic #formalproof #diagram #diagrams #retrobooks
archive.org/details/logi...
Logic machines and diagrams : Gardner, Martin, 1914-2010 : Free Download, Borrow, and Streaming : Internet Archive
157p
archive.org
December 28, 2025 at 1:26 PM
Martin Gardner
Logic Machines and Diagrams
1958
#historyoflogic #formallogic #formalproof #diagram #diagrams #retrobooks
archive.org/details/logi...
Logic Machines and Diagrams
1958
#historyoflogic #formallogic #formalproof #diagram #diagrams #retrobooks
archive.org/details/logi...
I"m getting too old for this shit. #formallogic
December 3, 2024 at 12:10 PM
I"m getting too old for this shit. #formallogic
#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,…
December 7, 2025 at 10:49 AM
#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,…
Geometry of Reason: Spectral Signatures of Valid Mathematical Reasoning
Valentin Noël
Paper
Details
#MathematicalReasoning #SpectralGeometry #FormalLogic
Valentin Noël
Paper
Details
#MathematicalReasoning #SpectralGeometry #FormalLogic
January 6, 2026 at 9:02 AM
Geometry of Reason: Spectral Signatures of Valid Mathematical Reasoning
Valentin Noël
Paper
Details
#MathematicalReasoning #SpectralGeometry #FormalLogic
Valentin Noël
Paper
Details
#MathematicalReasoning #SpectralGeometry #FormalLogic
