Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Concepts of proof in mathematics, philosophy, and computer science / / Dieter Probst and Peter Schuster
| Concepts of proof in mathematics, philosophy, and computer science / / Dieter Probst and Peter Schuster |
| Autore | Probst Dieter |
| Pubbl/distr/stampa | Berlin, [Germany] ; : , : De Gruyter, , 2016 |
| Descrizione fisica | 1 online resource (384 pages) |
| Disciplina | 511.36 |
| Collana | Ontos Mathematical Logic |
| Soggetto topico |
Proof theory
Mathematics Logic, Symbolic and mathematical |
| Soggetto genere / forma | Electronic books. |
| ISBN |
9781501502644
1-5015-0264-6 1-5015-0262-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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 Definitions 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 |
| Record Nr. | UNINA-9910467145703321 |
Probst Dieter
|
||
| Berlin, [Germany] ; : , : De Gruyter, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Concepts of proof in mathematics, philosophy, and computer science / / Dieter Probst and Peter Schuster
| Concepts of proof in mathematics, philosophy, and computer science / / Dieter Probst and Peter Schuster |
| Autore | Probst Dieter |
| Pubbl/distr/stampa | Berlin, [Germany] ; : , : De Gruyter, , 2016 |
| Descrizione fisica | 1 online resource (384 pages) |
| Disciplina | 511.36 |
| Collana | Ontos Mathematical Logic |
| Soggetto topico |
Proof theory
Mathematics Logic, Symbolic and mathematical |
| Soggetto non controllato |
Mathematical Logic
Philosophy of Mathematics Theoretical Computer Science |
| ISBN |
1-5015-0264-6
1-5015-0262-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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 Definitions 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 |
| Record Nr. | UNINA-9910796687303321 |
|
Probst Dieter
|
||
| Berlin, [Germany] ; : , : De Gruyter, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Concepts of proof in mathematics, philosophy, and computer science / / Dieter Probst and Peter Schuster
| Concepts of proof in mathematics, philosophy, and computer science / / Dieter Probst and Peter Schuster |
| Autore | Probst Dieter |
| Pubbl/distr/stampa | Berlin, [Germany] ; : , : De Gruyter, , 2016 |
| Descrizione fisica | 1 online resource (384 pages) |
| Disciplina | 511.36 |
| Collana | Ontos Mathematical Logic |
| Soggetto topico |
Proof theory
Mathematics Logic, Symbolic and mathematical |
| Soggetto non controllato |
Mathematical Logic
Philosophy of Mathematics Theoretical Computer Science |
| ISBN |
1-5015-0264-6
1-5015-0262-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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 Definitions 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 |
| Record Nr. | UNINA-9910826270703321 |
|
Probst Dieter
|
||
| Berlin, [Germany] ; : , : De Gruyter, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||