Domande taggate «linear-logic»







2
Puoi spiegare un'intuizione dietro Coherent Spaces?
La logica lineare è interpretata usando spazi coerenti e sono presenti in modo prominente nei lavori di Girard. Conosco tutti e tre i modi principali per definirli formalmente, e in realtà non rappresentano alcun problema per l'uso e la dimostrazione delle cose, ma non riesco proprio a capire cosa significano …


1
Qual è l'intuizione dietro la logica lineare?
Sto cercando di capire la logica lineare per capire meglio i sistemi di tipo lineare. Tuttavia, quando leggo le regole, non riesco a ottenere un'intuizione dietro di essa come ho fatto nella logica modale - significa che è richiesto come nei frame Kripke è richiesto per ogni mondo raggiungibile [ …
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.