Basic constructive connectives, determinism and matrix-based semantics

Agata Ciabattoni, Ori Lahav, Anna Zamansky

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Fingerprint

Dive into the research topics of 'Basic constructive connectives, determinism and matrix-based semantics'. Together they form a unique fingerprint.

Keyphrases

Computer Science