# 外部定位參考資料

檢索日期：2026-08-13。

1. Andrzej Wiśniewski, “Deduction and Reduction Theorems for Inferential Erotetic Logic,” Studia Logica 106 (2018), 295–309.
   - question evocation、erotetic implication、reduction theorems。

2. Andrzej Wiśniewski & Dorota Leszczyńska-Jasion, “Inferential erotetic logic meets inquisitive semantics,” Synthese 192 (2015), 1585–1608.
   - formal relations between IEL question raising and inquisitive semantics。

3. Ivano Ciardelli, Rosalie Iemhoff, Fan Yang, “Questions and dependency in intuitionistic logic,” arXiv:1704.01866.
   - formal language with questions/dependencies；normal-form and completeness results。

4. Alexandru Baltag, Lawrence S. Moss, Sławomir Solecki, “The Logic of Public Announcements, Common Knowledge and Private Suspicions,” Indiana University TR534, 1999.
   - epistemic actions as object-language operators；model-transforming semantics。

5. Donald E. Knuth & Peter B. Bendix, “Simple Word Problems in Universal Algebras,” in Computational Problems in Abstract Algebra.
   - completion / oriented rewriting as a route toward canonical reduction in suitable systems。

6. Ana Cristina Rocha Oliveira & Mauricio Ayala-Rincón, “Formalizing the Confluence of Orthogonal Rewriting Systems,” arXiv:1303.7335.
   - formalized confluence properties for term rewriting systems。

7. Bertram Felgenhauer, “Deciding Confluence and Normal Form Properties of Ground Term Rewrite Systems Efficiently,” arXiv:1710.10991.
   - confluence and distinct normal-form uniqueness properties。

邊界：本文借用 rewrite theory 的 termination / confluence / critical-pair discipline，不宣稱 T-query language 已等同普通 first-order TRS。