Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
propositional logic
Papers
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 no. 9551
Gödel Mathematics Versus Hilbert Mathematics. I. the Gödel Incompleteness (1931) Statement: Axiom or Theorem?
Vasil Penchev
EasyChair Preprint no. 9073
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
Copyright © 2012-2023 easychair.org. All rights reserved.