A system for proper multiple-conclusion entailment

Logic and Logical Philosophy, Tom 24, Numer 2 (2015) s. 241-253
Tomasz Skura, Andrzej Wiśniewski

 

do góry