Keyword:propositional logic

Papers
Gentzen’s “Cut Rule” and Quantum Measurement in Terms of Hilbert Arithmetic. Metaphor and Understanding Modeled Formally Vasil Penchev EasyChair Preprint no. 8545
On Reasoning about Access to Knowledge Yakoub Salhi In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
RAT Elimination Adrián Rebola-Pardo and Georg Weissenbacher In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
The Propositional Logic of Nucleotide and Amino Acid Sequences Pedro Cano and Ratilal Akabari EasyChair Preprint no. 1822