Concepts of Proof in Mathematics, Philosophy, and Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By De Gruyter

9781501502620

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Preface

Concepts of Proof in Mathematics, Philosophy, and Computer Science ◽

10.1515/9781501502620-001 ◽

2016 ◽

Download Full-text

Introduction

Concepts of Proof in Mathematics, Philosophy, and Computer Science ◽

10.1515/9781501502620-002 ◽

2016 ◽

pp. 1-4

Author(s):

Dieter Probst ◽

Peter Schuster

Download Full-text

The Continuum Hypothesis Implies Excluded Middle

Concepts of Proof in Mathematics, Philosophy, and Computer Science ◽

10.1515/9781501502620-006 ◽

2016 ◽

Author(s):

Douglas S. Bridges

Keyword(s):

Continuum Hypothesis ◽

Excluded Middle ◽

The Continuum

Download Full-text

Logic for Gray-code Computation

Concepts of Proof in Mathematics, Philosophy, and Computer Science ◽

10.1515/9781501502620-005 ◽

2016 ◽

Cited By ~ 1

Author(s):

Ulrich Berger ◽

Kenji Miyamoto ◽

Helmut Schwichtenberg ◽

Hideki Tsuiki

Keyword(s):

Gray Code

Download Full-text

Aristotle’s Deductive Logic: a Proof-Theoretical Study

Concepts of Proof in Mathematics, Philosophy, and Computer Science ◽

10.1515/9781501502620-018 ◽

2016 ◽

Author(s):

Jan von Plato

Keyword(s):

Theoretical Study ◽

Deductive Logic

Download Full-text

Proof-Oriented Categorical Semantics

Concepts of Proof in Mathematics, Philosophy, and Computer Science ◽

10.1515/9781501502620-004 ◽

2016 ◽

Author(s):

Marco Benini

Keyword(s):

Categorical Semantics

Download Full-text

A General View on Normal Form Theorems for Łukasiewicz Logic with Product

Concepts of Proof in Mathematics, Philosophy, and Computer Science ◽

10.1515/9781501502620-013 ◽

2016 ◽

Author(s):

Serafina Lapenta ◽

Ioana Leuştean

Keyword(s):

Normal Form ◽

General View ◽

Łukasiewicz Logic ◽

Lukasiewicz Logic

Download Full-text

Cut Elimination in Sequent Calculi with Implicit Contraction, with a Conjecture on the Origin of Gentzen’s Altitude Line Construction

Concepts of Proof in Mathematics, Philosophy, and Computer Science ◽

10.1515/9781501502620-016 ◽

2016 ◽

Cited By ~ 1

Author(s):

Sara Negri ◽

Jan von Plato

Keyword(s):

Cut Elimination ◽

Sequent Calculi ◽

Line Construction

Download Full-text

On Sets of Premises

Concepts of Proof in Mathematics, Philosophy, and Computer Science ◽

10.1515/9781501502620-009 ◽

2016 ◽

Cited By ~ 1

Author(s):

Kosta Došen

Download Full-text

Herbrand Confluence for First-Order Proofs with Π2-Cuts

Concepts of Proof in Mathematics, Philosophy, and Computer Science ◽

10.1515/9781501502620-003 ◽

2016 ◽

Cited By ~ 1

Author(s):

Bahareh Afshari ◽

Stefan Hetzl ◽

Graham E. Leigh

Keyword(s):

First Order

Download Full-text

Concepts of Proof in Mathematics, Philosophy, and Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By De Gruyter

Preface

Introduction

The Continuum Hypothesis Implies Excluded Middle

Logic for Gray-code Computation

Aristotle’s Deductive Logic: a Proof-Theoretical Study

Proof-Oriented Categorical Semantics

A General View on Normal Form Theorems for Łukasiewicz Logic with Product

Cut Elimination in Sequent Calculi with Implicit Contraction, with a Conjecture on the Origin of Gentzen’s Altitude Line Construction

On Sets of Premises

Herbrand Confluence for First-Order Proofs with Π2-Cuts

Concepts of Proof in Mathematics, Philosophy, and Computer Science
Latest Publications