This paper introduces the inquisitive extension of R , denoted as I n q R , which is a relevant logic of questions based on the logic R as the background logic of declaratives. A semantics for I n q R is developed, and it is shown that this semantics is, in a precisely defined sense, dual to Routley-Meyer semantics for R . Moreover, I n q R is axiomatized and completeness of the axiomatic system is established. The philosophical interpretation of the duality between Routley-Meyer semantics and the semantics for I n q R is also discussed.

中文翻译：

---

问题的相关逻辑

本文介绍了 R 的好奇外延，记为 Inq R ，它是基于逻辑 R 作为声明式背景逻辑的问题的相关逻辑。开发了 I nq R 的语义，并且表明该语义在精确定义的意义上与 R 的 Routley-Meyer 语义是对偶的。此外，I nq R 被公理化，并建立了公理系统的完备性。还讨论了 Routley-Meyer 语义和 I nq R 语义之间的二元性的哲学解释。