INDUCTION AND ANALOGY

By U. ELERU

CONTENTS INTRODUCTION | HERBRAND CONFLUENCE FOR FIRST-ORDER PROOFS WITH ?2-CUTS | PROOF-ORIENTED CATEGORICAL SEMANTICS | LOGIC FOR GRAY-CODE COMPUTATION | THE CONTINUUM HYPOTHESIS IMPLIES EXCLUDED MIDDLE | THEORIES OF PROOF-THEORETIC STRENGTH ?(??+1) | SOME REMARKS ABOUT NORMAL RINGS | ON SETS OF PREMISES | NON-DETERMINISTIC INDUCTIVE DE?NITIONS AND FULLNESS | CYCLIC PROOFS FOR LINEAR TEMPORAL LOGIC | CRAIG INTERPOLATION VIA HYPERSEQUENTS | A GENERAL VIEW ON NORMAL FORM THEOREMS FOR ?UKASIEWICZ LOGIC WITH PRODUCT | RELATING QUOTIENT COMPLETIONS VIA CATEGORICAL LOGIC | SOME HISTORICAL, PHILOSOPHICAL AND METHODOLOGICAL REMARKS ON PROOF IN MATHEMATICS | CUT ELIMINATION IN SEQUENT CALCULI WITH IMPLICIT CONTRACTION, WITH A CONJECTURE ON THE ORIGIN OF GENTZEN’S ALTITUDE LINE CONSTRUCTION | HILBERT’S PROGRAMME AND ORDINAL ANALYSIS | ARISTOTLE’S DEDUCTIVE LOGIC: A PROOF-THEORETICAL STUDY | REMARKS ON BARR’S THEOREM: PROOFS IN GEOMETRIC THEORIES |