Issue 4/2023
Content (8 Articles)
Enabling Floating-Point Arithmetic in the Coq Proof Assistant
Érik Martin-Dorel, Guillaume Melquiond, Pierre Roux
Research
Combining Stable Infiniteness and (Strong) Politeness
Ying Sheng, Yoni Zohar, Christophe Ringeissen, Andrew Reynolds, Clark Barrett, Cesare Tinelli
Open Access
Bisequent Calculus for Four-Valued Quasi-Relevant Logics: Cut Elimination and Interpolation
Andrzej Indrzejczak
Self-evident Automated Geometric Theorem Proving Based on Complex Number Identity
Xicheng Peng, Jingzhong Zhang, Mao Chen, Sannyuya Liu
Open Access
Saturation-Based Boolean Conjunctive Query Answering and Rewriting for the Guarded Quantification Fragments
Sen Zheng, Renate A. Schmidt
Formal Verification of Termination Criteria for First-Order Recursive Functions
Cesar A. Muñoz, Mauricio Ayala-Rincón, Mariano M. Moscato, Aaron M. Dutle, Anthony J. Narkawicz, Ariane Alves Almeida, Andréia B. Avelar da Silva, Thiago M. Ferreira Ramos