University of Oxford Branding

OXFORD UNIVERSITY COMPUTING LABORATORY

Cut-free Sequent Calculi for Logics with Adjoint Modalities

Mehrnoosh Sadrzadeh and Roy Dyckhoff

info

journal	Bulletin of Symbolic Logic
number	1
pages	128
volume	15
year	2009

links

related pages

people

Mehrnoosh Sadrzadeh

Random Image

Random Image

Random Image