Keyword:propositional logic

Publications
A Natural-style Prover in Theorema Using Sequent Calculus with Unit Propagation Tudor Jebelean In:LPAR 2024 Complementary Volume
RAT Elimination Adrian Rebola Pardo and Georg Weissenbacher In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
On Reasoning about Access to Knowledge Yakoub Salhi In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Hilbert Mathematics Versus (or Rather “Without”) Gödel Mathematics: V. Ontomathematics! Vasil Penchev EasyChair Preprint 13069
Gödel Mathematics Versus Hilbert Mathematics. II Logicism and Hilbert Mathematics, the Identification of Logic and Set Theory, and Gödel’s “Completeness Paper” (1930) Vasil Penchev EasyChair Preprint 9551
Gödel Mathematics Versus Hilbert Mathematics. I. the Gödel Incompleteness (1931) Statement: Axiom or Theorem? Vasil Penchev EasyChair Preprint 9073
Gentzen’s “Cut Rule” and Quantum Measurement in Terms of Hilbert Arithmetic. Metaphor and Understanding Modeled Formally Vasil Penchev EasyChair Preprint 8545
The Propositional Logic of Nucleotide and Amino Acid Sequences Pedro Cano and Ratilal Akabari EasyChair Preprint 1822