Speed-up for propositional Frege systems via generalizations of proofs
Sur le premier système de Lukasiewicz
Sur les éléments de construction de la logique mathématique
Il s'agit de présenter l'article de Schönfinkel «Über die Bausteine der mathematischen Logik», préparé pour la publication (1924) par H. Behmann, d'après une conférence de Schönfinkel en 1920, qui fonde ce que Curry nommera «la logique combinatoire». L'objectif principal du travail de Schönfinkel est l'élimination générale des variables (propositionnelles, prédicatives, individuelles), grâce à l'usage de plusieurs «fonctions particulières». On trouvera ici : (1) une introduction à l'article de Schönfinkel,...
Sur quelques théorèmes fondamentaux de l'algèbre moderne
Tableaux de Smullyan, ensembles de Hintikka et tout ça : un point de vue algébrique
On se propose de donner une interprétation algébrique (en calcul des propositions classiques) des notions d'arbres, d'ensembles de Hintikka, de la méthode des tableaux de Beth-Hintikka Smullyan.
The Axiomatization of Propositional Logic
This article introduces propositional logic as a formal system ([14], [10], [11]). The formulae of the language are as follows φ ::= ⊥ | p | φ → φ. Other connectives are introduced as abbrevations. The notions of model and satisfaction in model are defined. The axioms are all the formulae of the following schemes α ⇒ (β ⇒ α), (α ⇒ (β ⇒ γ)) ⇒ ((α ⇒ β) ⇒ (α ⇒ γ)), (¬β ⇒ ¬α) ⇒ ((¬β ⇒ α) ⇒ β). Modus ponens is the only derivation rule. The soundness theorem and the strong completeness theorem are proved....
The computation of characteristic vectors of logical-probabilistic expressions
Theorem Provers for Substructural Logics
Theorem-proving systems [Book]
Three semantical interpretations of a statistical theoremhood testing procedure
Über die Kennzeichnung von Junktoren durch die Gestalt der Herleitbaren Ausdrücke.
Ueber den grössten gemeinsamen Factor
Ueber die Auflösung linearer Gleichungen mit reellen Coefficienten
Ueber ein Princip der Zuordnung algebraischer Formen.
Unsolvable systems of equations and proof complexity.
Две системы доказательства тавтологичности, основанные на методе расщеплений
Допустимые и производные правила
О многообразиях алгебраических систем и пропозициональных исчислениях.
О некоторых мощностных свойствах структуры примитивных логик
О некоторых подструктурах структуры всех логик высказываний с обычным понятием формулы