On Relation Between Linear Temporal Logic and Quantum Finite Automata Amandeep Singh BhatiaAjay Kumar OriginalPaper 14 September 2019 Pages: 109 - 120
Truth Diagrams Versus Extant Notations for Propositional Logic Peter C.-H. Cheng OriginalPaper Open access 12 September 2019 Pages: 121 - 161
A Revised Projectivity Calculus for Inclusion and Exclusion Reasoning Ka-fat Chow OriginalPaper 27 May 2019 Pages: 163 - 195
Confused Terms in Ordinary Language Greg Frost-ArnoldJames R. Beebe OriginalPaper 04 September 2019 Pages: 197 - 219
Formal Semantics and Applied Mathematics: An Inferential Account Ryan M. Nefdt OriginalPaper 05 September 2019 Pages: 221 - 253
Residual Contraction Marco GarapaMaurĂcio D. L. Reis OriginalPaper 13 September 2019 Pages: 255 - 274