Skip to main navigation Skip to search Skip to main content

Algebra, proof theory and applications for an intuitionistic logic of propositions, actions and adjoint modal operators

Roy Dyckhoff, Mehrnoosh Sadrzadeh, Julien Truffaut

Research output: Contribution to journal › Article › peer-review

Fingerprint

Dive into the research topics of 'Algebra, proof theory and applications for an intuitionistic logic of propositions, actions and adjoint modal operators'. Together they form a unique fingerprint.
Sort by

Computer Science

Mathematics