Amanote Research

Amanote Research

    RegisterSign In

Advances in Proof-Theoretic Semantics: Introduction

Trends in Logic
doi 10.1007/978-3-319-22686-6_1
Full Text
Open PDF
Abstract

Available in full text

Date

October 25, 2015

Authors
Thomas PiechaPeter Schroeder-Heister
Publisher

Springer International Publishing


Related search

Introduction: Proof-Theoretic Semantics

Synthese
PhilosophySocial Sciences
2006English

Proof-Theoretic Methods in Nonlinear Analysis

2019English

A Proof Theoretic View of Constraint Programming

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
1998English

Introduction: Alternatives in Semantics and Pragmatics

2013English

A New System of Proof-Theoretic Ordinal Functions

Annals of Pure and Applied Logic
Logic
1986English

A Proof-Theoretic Trust and Reputation Model for VANET

2017English

Proof-Theoretical Semantics and Fregean Identity Criteria for Propositions

Monist, The
Philosophy
1994English

Introduction to Advances in Stroke 2011

Stroke
CardiologyNeurologyCardiovascular MedicineAdvancedMedicineNeuroscienceSpecialized Nursing
2011English

Introduction: Advances in Intraoperative Brain Mapping

Neurosurgical Focus
MedicineSurgeryNeurology
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy