🧩 Logic

Formal Logic, Propositional Logic, Predicate Logic, Modal Logic

Feeds to Scour
SubscribedAll
Scoured 158941 posts in 2.17 s
“Boolean Algebra Using Finite Sets and Complements.” Tell me anything you can think of related to this area.
reddit.com·1d·
Discuss: r/compsci
📊Datalog
Preview
Report Post
Adaptive Neuro-Symbolic Planning for circular manufacturing supply chains during mission-critical recovery windows
dev.to·8h·
Discuss: DEV
📊Datalog
Preview
Report Post
Sign Relations • Definition
inquiryintoinquiry.com·4d
📐Type Theory
Preview
Report Post
Getting Started
mcla.edu·2d
⚙Programming Language Design
Preview
Report Post
Sieve: A Mail Filtering Language
ietf.org·1d
⚙Programming Language Design
Preview
Report Post
I built a “Systematic Research Agent” prompt that forces multi-source verification + confidence ratings — feedback welcome
reddit.com·1d·
Discuss: r/ClaudeAI
📊Datalog
Preview
Report Post
[untitled]
openlab.citytech.cuny.edu·2d
⚙Programming Language Design
Preview
Report Post
Denotational vs operational
ericnormand.substack.com·2d·
Discuss: Substack
⚙Programming Language Design
Preview
Report Post
Argumentative Reasoning with Language Models on Non-factorized Case Bases
arxiv.org·3d
📊Datalog
Preview
Report Post
Understanding Mathematics Through Lean
bytesauna.com·3d·
Discuss: Hacker News
📐Type Theory
Preview
Report Post
<p>**Abstract:** This paper introduces a novel approach to formally verifying reactive systems by leveraging hyperdimensional representations of temporal logic ...
freederia.com·3d
⚙Programming Language Design
Preview
Report Post
Toward P != NP: An Observer-Theoretic Separation via SPDP Rank and a ZFC-Equivalent Foundation within the N-Frame Model
arxiv.org·3d·
Discuss: r/compsci
🌐Distributed Systems
Preview
Report Post
Database Research needs an Abstract Relational Query Language
arxiv.org·3d
📊Datalog
Preview
Report Post
Formal Axiomatization of Advaita Vedanta in Lean 4
github.com·5d·
Discuss: Hacker News
📐Type Theory
Preview
Report Post
How to Read this book - Logic for Systems: Lightweight Formal Methods for Everybody
forge-fm.github.io·5d
⚙Programming Language Design
Preview
Report Post
Wittgenstein was wrong
lesswrong.com·6d
🤔philosophy
Preview
Report Post
Frege and Philosophy at Home
dailynous.com·6d
🤔philosophy
Preview
Report Post
AI ALPHABITZ and AXI.
dev.to·4d·
Discuss: DEV
⚙Programming Language Design
Preview
Report Post
The logic of ‘Capital’, the Systematic Dialectic School and a defence of the logical-historical method
links.org.au·6d
🤔philosophy
Preview
Report Post
The Axiom of Choice is Not Controversial
lesswrong.com·5d
📐Type Theory
Preview
Report Post