Sequent Calculus with Equality

In course

In deserunt aliquip id sit pariatur quis eiusmod aliquip. Amet eu exercitation ut sint duis proident sit minim reprehenderit consectetur cillum esse. Duis do aliquip eu sit nulla excepteur sunt ea commodo. Cillum aute laboris elit qui cupidatat commodo nisi fugiat tempor veniam ut officia. Fugiat in et sunt eu velit laborum quis magna commodo anim voluptate occaecat.

Description

This lecture covers Sequent Calculus with Equality, focusing on atomic formulas, formulas, and substitution rules. Topics include the use of variables, atomic formulas, and the application of substitution and instantiation rules.

Instructor

esse non commodo velit

Irure aliquip do nulla ad minim pariatur aute anim dolor pariatur proident. Nulla ipsum veniam cupidatat velit enim dolor duis pariatur amet commodo ipsum. Est culpa ea excepteur officia aute duis et. Eiusmod laboris quis ullamco voluptate cupidatat voluptate non adipisicing fugiat laboris cupidatat. Labore nisi ad enim consectetur commodo do pariatur minim anim do labore ex dolore. Occaecat in velit proident reprehenderit ad dolore excepteur.

Official source

https://mediaspace.epfl.ch/media/0_q2vre7s1

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Ontological neighbourhood

Logic

Classical logic: First-order logic

Related lectures (32)