Sequent Calculi for 'Generally'

Authors:
Leonardo Bruno Vana;Paulo A. S. Veloso;Sheila R. M. Veloso
Affiliations:
Program of Systems and Computer Engineering - COPPE, Federal University of Rio de Janeiro (UFRJ), Rio de Janeiro, Brazil;Program of Systems and Computer Engineering - COPPE, Federal University of Rio de Janeiro (UFRJ), Rio de Janeiro, Brazil;Department of Systems and Computer Engineering, State University of Rio de Janeiro (UERJ), Rio de Janeiro, Brazil
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2008

Citing 4
Cited 0

Fuzzy Sets, Fuzzy Logic, and Fuzzy Systems: Selected Papers by Lotfi A. Zadeh

Fuzzy Sets, Fuzzy Logic, and Fuzzy Systems: Selected Papers by Lotfi A. Zadeh
Handbook of Logic and Language

Handbook of Logic and Language
On Special Functions and Theorem Proving in Logics for 'Generally'

SBIA '02 Proceedings of the 16th Brazilian Symposium on Artificial Intelligence: Advances in Artificial Intelligence
Ultrafilter Logic and Generic Reasoning

KGC '97 Proceedings of the 5th Kurt Gödel Colloquium on Computational Logic and Proof Theory

Quantified Score

Hi-index	0.00

Visualization

Abstract

Logics of 'generally' (LG's) were introduced for handling assertions with some versions of vague notions (e.g. 'generally', 'most', 'several'), which occur often in ordinary language and in science. LG's provide a framework for distinct notions of 'generally': one builds a specific logic for the notion one has in mind. We introduce deductive systems, in sequent calculus style, for LG's and we examine cut elimination.