A Forgotten Theory of Proofs ?

A Forgotten Theory of Proofs ?

Looking at MacLane's thesis on proof theory in the light of combinatory logic

Bibliographic Details
Main Author:	Erwin Engeler
Format:	Article
Language:	English
Published:	Logical Methods in Computer Science e.V. 2019-07-01
Series:	Logical Methods in Computer Science
Subjects:	mathematics - history and overview mathematics - logic
Online Access:	https://lmcs.episciences.org/4860/pdf

Similar Items

Intuitionism and proof theory : proceedings /
by: Conference on Intuitionism and Proof Theory (1968 : State University of New York, Buffalo, New York), et al.
Published: (1970)

What logics mean : from proof theory to model-theoretic semantics /
by: Garson, James W., 1943-
Published: (2013)

Proofs and refutations : the logic of mathematical discovery /
by: 339570 Lakatos, Imre, et al.
Published: (1976)

Logic : proof
by: Open University. Mathematics Foundation Course Team
Published: (1971)

Algebra and Math Modeling: an overview of brazilian research in the last years
by: Camilla do Valle Soares Cedraz, et al.
Published: (2019-05-01)

BUILDING PROOFS : A Practical Guide /
by: 209827 Oliveira, Suely, et al.
Published: (2016)

Transition to higher mathematics : structure and proof /
by: 222490 Dumas, Bob A., et al.
Published: (2007)

Proof in geometry/
by: 240194 Fetisov, A. I.
Published: (1963)

Mistakes in geometric proofs/
by: 424568 Dubnov, Ya. S.
Published: (1963)

Towards a Proof Theory of G\"odel Modal Logics
by: George Metcalfe, et al.
Published: (2011-05-01)

How to read and do proofs : an introduction to mathematical thought processes /
by: 419318 Solow, Daniel
Published: (1990)

A Proof of Kamp's theorem
by: Alexander Rabinovich
Published: (2014-02-01)

Proofs and types /
by: 291662 Girard, Jean-Yves, et al.
Published: (1989)

Computability theory and applications
by: Khoo, Kai Jun
Published: (2023)

Introduction to mathematical proofs : a transition /
by: Roberts, Charles E., 1942-
Published: (2009)

Axiomatic set theory beyond the continuum hypothesis
by: Neo, Chee Heng
Published: (2022)

Classical and Fuzzy Two-Layered Modal Logics for Uncertainty: Translations and Proof-Theory
by: Paolo Baldi, et al.
Published: (2020-07-01)

Coalgebraic Geometric Logic: Basic Theory
by: Nick Bezhanishvili, et al.
Published: (2022-12-01)

Constructing categories and setoids of setoids in type theory
by: Erik Palmgren, et al.
Published: (2014-09-01)

Granularity analysis for tutoring mathematical proofs /
by: Schiller, Marvin R. G. 525500
Published: (2011)

Bijective proofs for Eulerian numbers of types B and D
by: Luigi Santocanale
Published: (2023-03-01)

Computability theory and algebra
by: Wu, Huishan
Published: (2017)

The theory of models : proceedings /
by: 389695 Addison, J. W., et al.
Published: (1975)

On the relative proof complexity of deep inference via atomic flows
by: Anupam Das
Published: (2015-03-01)

Algebraic and proof-theoretic aspects of non-classical logics [electronic resources]: papers in honor of Daniele Mundici on the occasion of his 60th birthday/
by: Mundici, Daniele, 1946-, et al.
Published: (2007)

Mathematical semantics: a dual history? 1965-1975
by: Loh, Yi Fong
Published: (2022)

Failure of Normalization in Impredicative Type Theory with Proof-Irrelevant Propositional Equality
by: Andreas Abel, et al.
Published: (2020-06-01)

Local structure theory and the Ershov hierarchy
by: Fang, Chengling
Published: (2012)

Intuitionistic logic model theory and forcing /
by: Fitting, Melvin, 1942-
Published: (1969)

Conditional and preferential logics : proof methods and theorem proving /
by: 518526 Pozzato, Gian Luca
Published: (c201)

Fundamentals of mathematics : an introduction to proofs, logic, sets, and numbers /
by: Schroder, Bernd S. W. (Bernd Siegfried Walter), 1966-
Published: (c201)

The History of Mathematical Proof in Ancient Traditions by Karine Chemla ed.
by: Duncan J. Melville
Published: (2014-01-01)

Pebble Games, Proof Complexity, and Time-Space Trade-offs
by: Jakob Nordstrom
Published: (2013-09-01)

Introduction to mathematical logic : set theory computable functions model theory /
by: Malitz, J
Published: (1979)

Complexity of equivalence relations and preorders from computability theory
by: Ianovski, Egor, et al.
Published: (2015)

How to read and do proofs : an introduction to mathematical thought processes /
by: 419318 Solow, Daniel
Published: (2005)

Logic design theory /
by: Biswas, Nripendra Nath, 1928-
Published: (1993)

IVAN SLESHYNSKY AS A POPULARIZER OF THE IDEAS OF MATHEMATICAL LOGIC IN UKRAINE
by: Marianna P. Plakhtiy
Published: (2020-06-01)

Proof methods for modal and intuitionistic logics /
by: Fitting, Melvin, 1942-
Published: (1983)

Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language
by: Thomas Powell
Published: (2024-01-01)