Blog Archives

Topic Archive: multiple-conclusion rules

Computational Logic SeminarTuesday, April 29, 20142:00 pmGraduate Center, rm. 3209

Alex Citkin

Unified Logics

Chief Information Officer of Metropolitan Telecommunications, New York

The presentation studies the propositional logical systems containing multiple-conclusion rules that admit the asserted and rejected propositions at the same time.