{"version":"1.0","type":"link","title":"Sequente - Newikis","description":"Un sequente è un'entità della logica che permette di esprimere legami tra asserzioni complesse facendo uso dei legami metalinguistici e che comporta. Le prime formalizzazioni di sequenti e di calcolo dei sequenti sono dovute al lavoro del logico Gerhard Gentzen, in particolare alle sue scoperte dei…","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}