An axiomatization of the logic with the rough quantifier

DOI10.2307/2274702zbMath0736.03011OpenAlexW2168450640MaRDI QIDQ3984432

Michał Krynicki, Hans-Peter Tuschik

Publication date: 27 June 1992

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

Full work available at URL: https://doi.org/10.2307/2274702

zbMATH Keywords

completenessgeneralized quantifierrough logicfirst-order structurepartition modelweak model

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80)

Related Items (1)

AN OVERVIEW OF ROUGH SET SEMANTICS FOR MODAL AND QUANTIFIER LOGICS

Cites Work

• Logic with the quantifier “there exist uncountably many”

This page was built for publication: An axiomatization of the logic with the rough quantifier