Multiple-Conclusion Logic

Multiple-Conclusion Logic