![Gentzen Calculi For Modal Propositional Logic (Trends In Logic 32)](https://annotation.deedeebook.com/small-image/gentzen-calculi-for-modal-propositional-logic-trends-in-logic-32.jpeg)
Gentzen Calculi for Modal Propositional Logic: Trends in Logic 32
Gentzen calculi are a family of logical calculi developed by Gerhard Gentzen in the 1930s. They are based on the idea of sequents, which are pairs of sets of formulas. A sequent is said to be valid if the formulas in...
![F. Scott Fitzgerald profile picture](https://annotation.deedeebook.com/author/f-scott-fitzgerald.jpg)