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

118
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

17 Followers 457 Following budding PhD student in philosophy of the life sciences 🐝

ֵ @Frickz_AMBA

119 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 882 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

75 Followers 2K Following Computational Craftsman

akshit @akshitkr

313 Followers 793 Following

Лёша @AKasulin

245 Followers 3K Following Porteño y aburrido.

Tom @Thoasm

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

FicktNichtMitDemRaket... @jaytacula

24 Followers 888 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 944 Following s ⊩ A ⇾ B iff s ⊩ A ⇿ (A ∧ B) || Part of https://t.co/NCdKVDgD9N || Traktir aku kopi di Trakteer! 👇

Rat @LegallyRequired

163 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

90 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

872 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

504 Followers 2K Following Computer science PhD student focusing in programming languages

Jackson Earles @JacksonFiddle

17 Followers 160 Following

Joe Bruemmer @BruemmerJoe

23 Followers 2K Following

Flevin Kannagan @thekflan

13 Followers 570 Following

Immortality Project @ImmortalityPro1

339 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

905 Followers 888 Following Ignorant on all issues; still learning, still doubting.

Neslihan @drptmnc

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

Luke @LukeJopling

55 Followers 1K Following 22. London.

DidrikS @StrayOccidental

583 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 700 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

199 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

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

Sloth @Gk_Sloth_Hr

72 Followers 687 Following Alguien.

David Ayala @dacastanedaa

451 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

512 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

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

Edson Bezerra @Edsonvinber

117 Followers 797 Following PhD Unicamp

quasi-geist 🐴 @quasiireastclly

256 Followers 2K Following German idealism reader.

Agrim Pandey @agrimpandey

89 Followers 5K Following

Outer Chaos @nonlinear_type

15 Followers 899 Following sporadic lapse of reason.

Mudsill Freesoil @primalKoWT

482 Followers 5K Following Time!

Ketika Etika @apologiatika

14 Followers 38 Following Pronunciation: Day/Damn(ed)

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.