Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Sequent Calculus for `Generally' Leonardo B. Vana
 

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