Alan Rose. A single axiom for a partial system of the propositional calculus. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 1 (1955), pp. 196–197.

1959 ◽  
Vol 24 (2) ◽  
pp. 176-176
Author(s):  
Gene F. Rose
Keyword(s):  
Propositional Calculus ◽  
Partial System ◽  
Single Axiom

scholarly journals Preface

2011 ◽  
Vol 21 (4) ◽  
pp. 671-677 ◽  
Author(s):  
GÉRARD HUET
Keyword(s):  
Mathematical Logic ◽  
Computer Science ◽  
20Th Century ◽  
Theorem Proving ◽  
Propositional Calculus ◽  
Interactive Theorem Proving ◽  
Predicate Calculus ◽  
Special Issue ◽  
Mathematical Structures ◽  
Infinite Domains

This special issue of Mathematical Structures in Computer Science is devoted to the theme of ‘Interactive theorem proving and the formalisation of mathematics’.The formalisation of mathematics started at the turn of the 20th century when mathematical logic emerged from the work of Frege and his contemporaries with the invention of the formal notation for mathematical statements called predicate calculus. This notation allowed the formulation of abstract general statements over possibly infinite domains in a uniform way, and thus went well beyond propositional calculus, which goes back to Aristotle and only allowed tautologies over unquantified statements.

Sign in / Sign up

Export Citation Format

Share Document