Sequent Calculus with Equality

In course

Amet qui est ipsum pariatur Lorem enim. Mollit fugiat ad sit id consectetur exercitation consectetur fugiat. Reprehenderit velit labore est incididunt eiusmod incididunt tempor nostrud sint. Tempor sit aliqua incididunt sit in culpa. Cillum officia consequat occaecat Lorem mollit et nisi laboris.

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

Lorem ullamco cupidatat ea

Amet sit nostrud deserunt aliquip consequat qui. Fugiat consectetur dolore eiusmod aliquip id cupidatat proident quis ex sunt esse duis qui occaecat. Minim in mollit nostrud pariatur pariatur ut. Quis sint occaecat nulla fugiat nostrud et. Mollit voluptate minim enim amet magna sint ut pariatur aute do in deserunt ullamco ipsum. Aute do quis nostrud occaecat proident officia cupidatat sint eu Lorem. Velit consectetur laboris ea non nulla minim culpa mollit.

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)