Natural Deduction for 'Generally'

DOI10.1093/jigpal/jzm049zbMath1132.03010OpenAlexW1974801760MaRDI QIDQ5437004

Sheila R. M. Veloso, Leonardo Bruno Vana, Paulo A. S. Veloso

Publication date: 18 January 2008

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzm049

zbMATH Keywords

normalizationnatural deductiongeneralized quantifierslogics of `generally'vague notions

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Cut-elimination and normal-form theorems (03F05) Logic with extra quantifiers and operators (03C80)

Related Items (2)

On the Structure of Natural Deduction Derivations for “Generally” ⋮ Sequent Calculi for ‘Generally’

This page was built for publication: Natural Deduction for 'Generally'