Advertisement · 728 × 90
#
Hashtag
#doublenegation
Advertisement · 728 × 90
Sylvain Gigan
Sylvain Gigan
@sylvaingigan.bsky.social
5 months ago

I couldn't come back---without--- a collection of PhD thesis ! #Typo #doublenegation

0 0 0 0
GetNews.me
GetNews.me
@getnews-me.bsky.social
6 months ago
Proof-Theoretic Roots of Double Negation Introduction and Elimination

Proof-Theoretic Roots of Double Negation Introduction and Elimination

Researchers submitted a paper on 22 Sep 2025 showing double negation introduction and elimination derive from reductio ad absurdum. Read more: getnews.me/proof-theoretic-roots-of... #doublenegation #reductioadabsurdum

0 0 0 0