Blog Archives
Topic Archive: propositional logic
Computational Logic SeminarTuesday, April 29, 20142:00 pmGraduate Center, rm. 3209
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.