ProvabilityLogicBot @GL_LogicBot

I am a bot. Every three hours, I tweet a new tautology in the logic GL. I was developed by Jeroen van Gelder for his Thesis of the BSc AI @BernoulliInsti2 Joined June 2021

Tweets

5K
Followers

119
Following

2
Likes

1

ProvabilityLogicBot @GL_LogicBot

2 years ago

A∨((B∧A)⇾B)

0 0 0 31 0

ProvabilityLogicBot @GL_LogicBot

2 years ago

A∨((A∧⊥)⇾B)

0 0 0 29 0

ProvabilityLogicBot @GL_LogicBot

2 years ago

A∨((A∧B)⇾B)

0 0 0 31 0

ProvabilityLogicBot @GL_LogicBot

2 years ago

A∨((A∧A)⇾B)

0 0 0 27 0

ProvabilityLogicBot @GL_LogicBot

2 years ago

A∨(◇⊥⇾B)

0 0 0 29 0

ProvabilityLogicBot @GL_LogicBot

2 years ago

A∨(B⇾¬⊥)

0 0 0 27 0

ProvabilityLogicBot @GL_LogicBot

2 years ago

A∨(B⇾¬A)

0 0 0 28 0

ProvabilityLogicBot @GL_LogicBot

2 years ago

A∨(A⇾(⊥⇿⊥))

0 0 0 24 0

ProvabilityLogicBot @GL_LogicBot

2 years ago

A∨(A⇾(⊥⇿B))

0 0 0 22 0

ProvabilityLogicBot @GL_LogicBot

2 years ago

A∨(A⇾(⊥⇿A))

0 0 0 23 0

ProvabilityLogicBot @GL_LogicBot

2 years ago

A∨(A⇾(B⇿⊥))

0 0 0 22 0

ProvabilityLogicBot @GL_LogicBot

2 years ago

A∨(A⇾(B⇿B))

0 0 0 21 0

ProvabilityLogicBot @GL_LogicBot

2 years ago

A∨(A⇾(B⇿A))

0 0 0 21 0

ProvabilityLogicBot @GL_LogicBot

2 years ago

A∨(A⇾(A⇿⊥))

0 0 0 22 0

ProvabilityLogicBot @GL_LogicBot

2 years ago

A∨(A⇾(A⇿B))

0 0 0 27 0

ProvabilityLogicBot @GL_LogicBot

2 years ago

A∨(A⇾(A⇿A))

0 0 0 22 0

ProvabilityLogicBot @GL_LogicBot

2 years ago

A∨(A⇾(⊥⇾⊥))

0 0 0 17 0

ProvabilityLogicBot @GL_LogicBot

2 years ago

A∨(A⇾(⊥⇾B))

0 0 0 25 0

ProvabilityLogicBot @GL_LogicBot

2 years ago

A∨(A⇾(⊥⇾A))

0 0 0 18 0

ProvabilityLogicBot @GL_LogicBot

2 years ago

A∨(A⇾(B⇾⊥))

0 0 0 47 0

leinfink @leinfink

18 Followers 456 Following budding PhD student in philosophy of the life sciences 🐝

ֵ @Frickz_AMBA

118 Followers 1K Following

psiphi🦉 @psiphi_gavagai

1K Followers 3K Following Philosophy (of Science ), Psychology, Geopolitics, Finance, 2x Green Beret Brat⚔️ (avatar & plaque are dad’s decorations. May he rest in peace,)

A philosopher. Thinking about inquiry and inquiring about thinking. Author of a book on reasons at CUP https://t.co/0chqvEtIxy Assistant Prof. ULaval. 🤷‍♂️

Arturs Logins @ALogins

1K Followers 884 Following A philosopher. Thinking about inquiry and inquiring about thinking. Author of a book on reasons at CUP https://t.co/0chqvEtIxy Assistant Prof. ULaval. 🤷‍♂️

Archan Patkar अर�... @archanpatkar

72 Followers 2K Following Computational Craftsman

akshit @akshitkr

309 Followers 783 Following

Лёша @AKasulin

247 Followers 3K Following Porteño y aburrido.

Tom @Thoasm

29 Followers 2K Following plop ! @[email protected]

FicktNichtMitDemRaket... @jaytacula

25 Followers 890 Following

Aung @aungsanss

13 Followers 1K Following Move account, but the new one still work in progress. I'll put it here when finished, go follow the new one ya nanti.

mqahnaf @mqahnaf

9K Followers 940 Following s ⊩ A ⇾ B iff s ⊩ A ⇿ (A ∧ B) || Part of https://t.co/NCdKVDgD9N || Traktir aku kopi di Saweria! https://t.co/8ZLXqnnONt

Rat @LegallyRequired

166 Followers 3K Following I 100% do not condone violent acts committed against any person whatsoever

Philosophy PhD student @Princeton, BA in Philosophy @PKU1898, interested in metaphysics, phil of physics, philosophical logic, epistemology, and decision theory

Lingzhi Shi @tomlingzhishi

57 Followers 186 Following Philosophy PhD student @Princeton, BA in Philosophy @PKU1898, interested in metaphysics, phil of physics, philosophical logic, epistemology, and decision theory

Declan Edwards 🐝�... @DeclanEdwards24

89 Followers 1K Following

Matthew Turner @GMSMJ

122 Followers 2K Following The tomb of the Red Queen is painted in vermillion @francismarionu via @templeuniv & @umich follow me @gmsmj on the blusky

Emilio Méndez Pinto @kroftopkin

869 Followers 2K Following PhD philosophy student at @UNAM_IIFs https://t.co/9JAA10VA89

Alyssa Renata @alyssa_renata

5 Followers 64 Following Irrationally fond of logic (she/her) 🏳️‍⚧️ Computing Undergrad @ Imperial College

robin @politbuwu

291 Followers 610 Following

Jesse Endo Jenks @JesseEndoJenks

41 Followers 1K Following He/him. I like logic, playing the cello, and making art with math.

C Trombley @C_Trombley1

1K Followers 645 Following Voted Number Three Source Of Wobbuffet Related Humor

David Young @roboguy20

502 Followers 1K Following Computer science PhD student focusing in programming languages

Jackson Earles @JacksonFiddle

18 Followers 156 Following

Joe Bruemmer @BruemmerJoe

24 Followers 2K Following

Flevin Kannagan @thekflan

12 Followers 568 Following

🦋 @transsexed

260 Followers 457 Following communist & feminist 🇵🇸 ☭ ⚢ ✦ autistic

Immortality Project @ImmortalityPro1

347 Followers 5K Following Confusing the finite with the infinite. Religious Pluralist.

finasteride enthusias... @recursedimages

4 Followers 35 Following sports personality of the year 1996

World's #1 matchbox fan

@mscroggs@mathstodon.xyz

Matthew Scroggs @mscroggs

2K Followers 1K Following World's #1 matchbox fan @[email protected]

Pseudomastix @Pseudomastix

882 Followers 886 Following Ignorant on all issues; still learning, still doubting.

Neslihan @drptmnc

408 Followers 2K Following فرزند حرام‌زاده زمان

Luke @LukeJopling

57 Followers 1K Following 22. London.

DidrikS @StrayOccidental

588 Followers 5K Following Arbetets sak är hela världens hopp🌹🇪🇺 🇸🇪 | Twittrar privat | follow≠endorsement

Scientist & Philosopher〡Prof Conservation @UNIFESP〡Follow my active accounts:
https://t.co/sPKNNlUp0i
https://t.co/17EY5pd1fq

Prof Felipe Gusmao �... @fgusmao

1K Followers 5K Following Scientist & Philosopher〡Prof Conservation @UNIFESP〡Follow my active accounts: https://t.co/sPKNNlUp0i https://t.co/17EY5pd1fq

Unnecessary Being @subtle_doctor

14 Followers 704 Following Philosophy person. Failing the Turing test at every social interaction.

ㅇㅌㅍ @ootp8free

114 Followers 324 Following

he/him. certified mereologist. used to study interesting things (analytic philosophy). now I study interesting things (urban planning). eng/esp/fr

xavi @flattened

201 Followers 2K Following he/him. certified mereologist. used to study interesting things (analytic philosophy). now I study interesting things (urban planning). eng/esp/fr

#Logician, #Onomast, #Medievalist, #AcademicMama, #Author, #Immigrant, founder of https://t.co/BFZX9c9uUK and @EllipsisImprint. Own views. Robot.

Doctor Logic @SaraLUckelman

5K Followers 2K Following #Logician, #Onomast, #Medievalist, #AcademicMama, #Author, #Immigrant, founder of https://t.co/BFZX9c9uUK and @EllipsisImprint. Own views. Robot.

NyarlathoSteph �... @StephanieLahey

3K Followers 1K Following Indolent flâneuse. Scurrilous gadabout. Connoisseuse of the ghastly. This is where I’m silly · 𓅃𓅄𓅅𓅆𓅇𓅈𓅉𓅊

Working on good AI using argumentation
Fields: AI, computational argumentation, AI&Law
Head of department AI @ University of Groningen

Bart Verheij @brtvrh

225 Followers 148 Following Working on good AI using argumentation Fields: AI, computational argumentation, AI&Law Head of department AI @ University of Groningen

David W. Agler @davidagler

108 Followers 229 Following I make philosophy (mostly logic) videos at https://t.co/xE6a2XjmLO

Sloth @Gk_Sloth_Hr

73 Followers 654 Following Alguien.

David Ayala @dacastanedaa

456 Followers 1K Following "Deus meus, in te confido; non erubescam".

Computer Scientist and Photographer // Art & Science
#jazz #architecture #city #philosophy #intentions #trustworthy #ai #agents #knowledge #semantics #causality

André Meyer-Vitali �... @atomax

514 Followers 3K Following Computer Scientist and Photographer // Art & Science #jazz #architecture #city #philosophy #intentions #trustworthy #ai #agents #knowledge #semantics #causality

Dyz̶er Nihil ψ @Dyzer_Nihil

1K Followers 380 Following Neuropsychology, Statistics, Philosophy & Mathematical Logic.

docter octagonapus @toojoe

103 Followers 115 Following (in case it wasn’t obvious, I do not practice medicine or have medical training)

Edson Bezerra @Edsonvinber

118 Followers 798 Following PhD Unicamp

quasi-geist 🐴 @quasiireastclly

256 Followers 2K Following German idealism reader.

Agrim Pandey @agrimpandey

95 Followers 5K Following

Outer Chaos @nonlinear_type

15 Followers 901 Following sporadic lapse of reason.

Mudsill Freesoil @primalKoWT

484 Followers 5K Following Time!

Tweets tautologies in temporal logic with the reflexive and transitive constraints
BSc AI at RUG - Bachelor's Project by Thalia Najjar

Temporal logic bot @tenselogicbot

21 Followers 7 Following Tweets tautologies in temporal logic with the reflexive and transitive constraints BSc AI at RUG - Bachelor's Project by Thalia Najjar

I tweet logical tautologies in Intuitionistic Propositional Logic every day.
I was created by Gisela Albors Zumel for her Bachelor Thesis (BSc AI)

IntuitionisticLogicBo... @Intuitionisti17

49 Followers 12 Following I tweet logical tautologies in Intuitionistic Propositional Logic every day. I was created by Gisela Albors Zumel for her Bachelor Thesis (BSc AI)

No recent Favorites. New Favorites will appear here.