I missed this huge news from yesterday: the #CaliforniaSupremeCourt finally rejected the frivolous lawsuit over #RM3! That means the funds (from toll increases on Bay Area bridges) can finally be used on transit projects. https://www.sfchronicle.com/bayarea/article/california-supreme-court-rejects-lawsuit-against-17742422.php?utm_source=marketing&utm_medium=copy-url-link&utm_campaign=article-share&hash=aHR0cHM6Ly93d3cuc2ZjaHJvbmljbGUuY29tL2JheWFyZWEvYXJ0aWNsZS9jYWxpZm9ybmlhLXN1cHJlbWUtY291cnQtcmVqZWN0cy1sYXdzdWl0LWFnYWluc3QtMTc3NDI0MjIucGhw&time=MTY3NDc5ODc3MTAxNw==&rid=N2Y0NGNhYjMtNzI0OS00OGFmLTkxZTQtMDVhMTI0YjA3NzRk&sharecount=Mw==
Work has begun to divide the berths into conditionally civilian and conditionally military ones. Due to the siltation of the channel, vessels with small equipment, such as river-sea class #RM3, can still enter the port water area. However, this is not an obstacle to establishing the supply of military equipment in the spring navigation period".
This was reported by the adviser of the legally elected mayor of #Mariupol #PetroAndriushchenko in Telegram
2/2
#petroandriushchenko #Mariupol #rm3
Automated Reasoning for the Dialetheic Logic RM3
(2017) : Geoff Sutcliffe and Francis Jeffry Pelletier and Allen P. Hazen
url: https://www.aaai.org/ocs/index.php/FLAIRS/FLAIRS17/paper/viewPaper/15415
#RM3 #automated_reasoning #dialethic_logic #paraco
#my_bibtex
#rm3 #automated_reasoning #dialethic_logic #paraco #my_bibtex