Re: A cut-free CoS system for S5

> if so, couldn't we equivalently modify the system to allow only inputs
> built from negation (*) and disjunction (o)?  If we do so, we won't
> have rules for the logical connectives any longer
> (conjunction,disjunction) and this is not the case in CoS. I thought
> this is an important issue. On the other hand, 'CoS' looks like a DL
> structure...
> 
> Phiniki
> 

Yes we can. There is a right-handed display calculus for classical
logic using this idea in 

Solving the Display Problem Via Residuation, Rajeev Goré,
TR-ARP-12-95, Automated Reasoning Project, Australian National
University (1995) 35 pages.

See 
http://users.rsise.anu.edu.au/~rpg/techreports.html

raj