Optimality Theory as a Family of Cumulative Logics Ph. BesnardG. FanselowT. Schaub OriginalPaper Pages: 153 - 182
Fibring Non-Truth-Functional Logics: Completeness Preservation C. CaleiroW.A. CarnielliC. Sernadas OriginalPaper Pages: 183 - 211
A Cut-Free Gentzen Formulation of Basic Propositional Calculus Kentaro KikuchiKatsumi Sasaki OriginalPaper Pages: 213 - 225