It is widely used in Computer Science, Mathematics, Linguistics, and Philosophy among other fields. The Propositional Logic Assistant is a command-line tool developed as part of the CSC510 DISCRETE ...

Research from all publishers Recent investigations in modal logic and proof theory have yielded promising advancements in both the design and analysis of proof systems.

The course will cover some of the material encountered at the undergradu-ate courses on logic and discrete mathematics as well as advanced materialon topics such as proof systems, sets, relations, and ...

The truss design problem is to find the optimal placement and size of structural bars that can support a given load. The problem is nonlinear and, in the version addressed here, the bars must take ...