On flattening elimination rules › Research Explorer

DOI

https://doi.org/10.1017/S1755020313000385
Final published version

Grigory K. Olkhovikov
Peter Schroeder-Heister

Original language	English
Pages (from-to)	60-72
Number of pages	13
Journal	Review of Symbolic Logic
Volume	7
Issue number	1
DOIs	https://doi.org/10.1017/S1755020313000385
Publication status	Published - Mar 2014

Research areas

HARMONY, LOGIC

ASJC Scopus subject areas

Logic
Philosophy
Mathematics (miscellaneous)

ID: 412936