Sequent Calculi for ‘Generally’
From MaRDI portal
Publication:2866737
DOI10.1016/j.entcs.2008.03.065zbMath1277.03031MaRDI QIDQ2866737
Paulo A. S. Veloso, Sheila R. M. Veloso, Leonardo Bruno Vana
Publication date: 13 December 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2008.03.065
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On ultrafilter logic and special functions
- On a generalization of quantifiers
- Generalized quantifiers and natural language
- Defaults as Generalized Quantifiers
- Natural Deduction for 'Generally'
- Logic with the quantifier “there exist uncountably many”