Sequent Calculi for 'Generally'

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.

[1]  Paulo A. S. Veloso,et al.  On Ultrafilter Logic and Special Functions , 2004, Stud Logica.

[2]  A. Mostowski.  On a generalization of quantifiers , 1957 .

[3]  Paulo A. S. Veloso,et al.  On Special Functions and Theorem Proving in Logics for 'Generally' , 2002, SBIA.

[4]  Gerhard Gentzen,et al.  Investigations into Logical Deduction , 1970 .

[5]  Johan van Benthem,et al.  Handbook of Logic and Language , 1996 .

[6]  Madan M. Gupta,et al.  Fuzzy Sets, Fuzzy Logic, and Fuzzy Systems , 2003 .

[7]  Paulo A. S. Veloso,et al.  Ultrafilter Logic and Generic Reasoning , 1997, Kurt Gödel Colloquium.

[8]  H. Keisler.  Logic with the quantifier “there exist uncountably many” , 1970 .

[9]  Paulo A. S. Veloso,et al.  Logics For Qualitative Reasoning , 2004, Logic, Epistemology, and the Unity of Science.

[10]  J. Barwise,et al.  Generalized quantifiers and natural language , 1981 .

[11]  M. E. Szabo,et al.  The collected papers of Gerhard Gentzen , 1969 .

[12]  Herbert B. Enderton,et al.  A mathematical introduction to logic , 1972 .

[13]  Shahid Rahman,et al.  Logic, Epistemology, and the Unity of Science , 2004, Logic, Epistemology, and the Unity of Science.

[14]  Alan Bundy,et al.  Constructing Induction Rules for Deductive Synthesis Proofs , 2006, CLASE.

[15]  George J. Klir,et al.  Fuzzy Sets, Fuzzy Logic, and Fuzzy Systems - Selected Papers by Lotfi A Zadeh , 1996, Advances in Fuzzy Systems - Applications and Theory.

[16]  Karl Schlechta,et al.  Defaults as Generalized Quantifiers , 1995, J. Log. Comput..