Functional Interpretation of Logics for ‘Generally’

DOI10.1093/jigpal/12.6.627zbMath1060.03064OpenAlexW2099590126MaRDI QIDQ4656556

Paulo A. S. Veloso, Sheila R. M. Veloso

Publication date: 11 March 2005

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

Full work available at URL: https://semanticscholar.org/paper/c82d6da0abeef4a41a28ce57db0cf4f33984cd9f

zbMATH Keywords

theorem provinggeneralized quantifierqualitative reasoningfunctional interpretationvague notions

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Logic with extra quantifiers and operators (03C80)

This page was built for publication: Functional Interpretation of Logics for ‘Generally’