Summary: Sequent Calculus for `Generally'
Leonardo B. Vana
Paulo A. S. Veloso
Sheila R. M. Veloso#
{veloso, leobvana, sheila}@cos.ufrj.br
*Systems & Computer Engineering Program; COPPE/UFRJ
# Systems & Computer Engineering Dept.; UERJ
Overview
1. Logics of `Generally'
· examples
· motivation
2. Axiomatic Systems
3. Sequent Calculus for `Generally'
· basic logic for `generally'
· specific logics for `generally'
4. Cut Elimination
5. Conclusion and Future Work
Logics of `Generally'
Examples:
1. "Birds generally fly"

Source: Ayala-Rincón, Mauricio - Departamento de Matemática, Universidade de Brasília

Collections: Mathematics