On the Structure of Natural Deduction Derivations for “Generally”

DOI10.1007/978-94-007-7548-0_6zbMath1344.03049OpenAlexW134001138MaRDI 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

zbMATH Keywords

normalizationnatural deductiongeneralized quantifiersderivation structurelogics for `generally'minimum formulaminimum segmentVague notions

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07)

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.

This page was built for publication: On the Structure of Natural Deduction Derivations for “Generally”