On the Structure of Natural Deduction Derivations for “Generally”
From MaRDI portal
Publication:5251189
DOI10.1007/978-94-007-7548-0_6zbMath1344.03049MaRDI QIDQ5251189
Sheila R. M. Veloso, Paulo A. S. Veloso, Leonardo Bruno Vana
Publication date: 22 May 2015
Published in: Trends in Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-94-007-7548-0_6
normalization; natural deduction; generalized quantifiers; derivation structure; logics for `generally'; minimum formula; minimum segment; Vague notions
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On ultrafilter logic and special functions
- Sequent Calculi for ‘Generally’
- On a generalization of quantifiers
- On ‘Most’ and ‘Representative’: Filter Logic and Special Predicates
- On the proof theory of the intermediate logic MH
- Generalized quantifiers and natural language
- Defaults as Generalized Quantifiers
- Natural Deduction for 'Generally'
- An Application of Logic Engineering
- Logic with the quantifier “there exist uncountably many”
- Logic and structure.