Formal Logic

⊢ Formal Logic

predicate logic, propositional logic, symbolic logic, inference rules

Feeds to Scour
SubscribedAll
Scoured 26 posts in 52.4 ms

The Modal Logic of Forcing and Set-theoretic Potentialism, Peking University lectures, June/July 2026

 ∞Gödel
jdh.hamkins.org·

Optimizing the Cost-Quality Tradeoff of Agentic Theorem Provers in Lean

 λLambda Calculus  Content type: Academic
arxiv.org·

Proof System Timelines

 🔢Philosophy of Math  Content type: Blog
klatz.co·

Learning Fuzzy Logic: Automatic Rule Discovery Through Differentiable Circuits

 🖥️Lisp Machines
metafunctor.com··DEV

Consciousness as a fundamental property of reality

 🔢Philosophy of Math
ctmucommunity.org··r/PhilosophyofMind

News for May 2026 | Property Testing Review

 ∞Gödel
ptreview.sublinear.info·

rochus-keller/EXPRESS: A parser and code model for the ISO 10303 EXPRESS language with a lot more interesting stuff to come

 🕸️Ontology  Content type: Code
github.com··Hacker News
Less-relevant results

Every GPS satellite is a numbers station

 📝Plain Text  Content type: Blog  Content type: Discussion
andreafortuna.org··Hacker News

Logicomix and 6 months at my new job

 🔢Philosophy of Math  Content type: Blog
avocadoslaw.substack.com··Substack

Successful Arbitrage, or the Art of Always Landing on Its Feet Like a Cat

 🖥️Lisp Machines  Content type: Blog
functori.com··Hacker News

Pioneering AI Founders Join to Accelerate Roblox Reality Vision

 🖱️Doug Engelbart
about.roblox.com·

Thoughts on 'Learning Mechanics'

 ∞Gödel
lesswrong.com·

Symbolic and Abstractive Reasoning with Complex Visual Queries

 🗺️Concept Mapping  Content type: Academic
arxiv.org·

`ark`: A Personal Archive System, Part 2: A Day with the Archives

 ✒️Prose Style
jamierubin.net·

Pruned YOLOv8 ONNX INT8 Fails: 3 Fixes That Work

 λLambda Calculus  Content type: Blog  Content type: Discussion
tildalice.io·

Public Machine Learning Solver Framework for Novices in the Machine Learning Domain

 ∞Gödel  Content type: Academic
arxiv.org·

book-assets/supplements/partial-orders.md at master · logicforprogrammers/book-assets

 ∞Gödel  Content type: Code
github.com·

Witness-split + window-cardinality refinement for $r_3(N)$: Architecture, empirical results, and a structural hard pocket

 λLambda Calculus  Content type: Academic
arxiv.org·

Evaluation of LLMs for Mathematical Formalization in Lean

 🧠Lisp Dialects  Content type: Academic
arxiv.org·

book-assets/supplements/function-sets.md at master · logicforprogrammers/book-assets

 ∞Gödel  Content type: Code
github.com·

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help