Cover Image

QR Code

Advances in Proof-Theoretic Semantics

This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and...

Full description

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Piecha, Thomas (Editor), Schroeder-Heister, Peter (Editor)
Format:	Electronic eBook
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2016.
Series:	Trends in Logic, Studia Logica Library, 43
Subjects:	Philosophy. Logic. Mathematical logic. Mathematical Logic and Foundations. Mathematical Logic and Formal Languages.
Online Access:	http://dx.doi.org/10.1007/978-3-319-22686-6
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Proof, Computation and Agency Logic at the Crossroads /
by: van Benthem, Johan
Published: (2011)

Truth and Falsehood An Inquiry into Generalized Logical Values /
by: Shramko, Yaroslav
Published: (2012)

Modalities and Multimodalities With the assistance and collaboration of Juliana Bueno-Soler /
by: Carnielli, Walter
Published: (2008)

Information and Knowledge A Constructive Type-theoretical Approach /
by: Primiero, Giuseppe
Published: (2008)

The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today /
by: Benthem, Johan
Published: (2006)

Constructive Negations and Paraconsistency
by: Odintsov, Sergei P.
Published: (2008)

Games: Unifying Logic, Language, and Philosophy
by: Majer, Ondrej
Published: (2009)

Epistemology versus Ontology Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Lf /
by: Dybjer, P.
Published: (2012)

Deduction, Computation, Experiment Exploring the Effectiveness of Proof /
by: Lupacchini, Rossella
Published: (2008)

Logic, Mathematics, Philosophy, Vintage Enthusiasms Essays in Honour of John L. Bell /
by: DeVidi, David
Published: (2011)

Games, Norms and Reasons Logic at the Crossroads /
by: van Benthem, Johan
Published: (2011)

Handbook of Philosophical Logic
by: Gabbay, D.M
Published: (2007)

Dynamic Epistemic Logic
by: Ditmarsch, Hans
Published: (2007)

Foundational Theories of Classical and Constructive Mathematics
by: Sommaruga, Giovanni
Published: (2011)

A Geometry of Approximation Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns /
by: Pagliani, Piero
Published: (2008)

Strict Finitism and the Logic of Mathematical Applications
by: Ye, Feng
Published: (2011)

The Arch Papers on the Mathematics of Abstraction
by: Cook, Roy T.
Published: (2007)

Treatise on Intuitionistic Type Theory
by: Granstrm, Johan Georg
Published: (2011)

Symbolic logic syntax, semantics, and proof /
by: Agler, David W., 1982-
Published: (2013)

Handbook of Spatial Logics
by: Aiello, Marco
Published: (2007)

Proof and knowledge in mathematics
Published: (1992)

Brouwer Meets Husserl On the Phenomenology of Choice Sequences /
by: Atten, Mark
Published: (2007)

Interpreted Languages and Compositionality
by: Kracht, Marcus
Published: (2011)

Perspectives On Mathematical Practices Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Education /
by: Kerkhove, Bart
Published: (2007)

Cambridge and Vienna Frank P. Ramsey and the Vienna Circle /
by: Galavotti, Maria Carla
Published: (2006)

Symbolic logic and the real number system : an introduction to the foundations of number systems /
by: Lightstone, A. H.
Published: (1965)

A logical Approach to Philosophy Essays in Honour of Graham Solomon /
by: Devidi, David
Published: (2006)

Fundamentals of logic : An intrduction to Aristotelian and Sympolic, induction, and the avoidance of every day fallacies /
by: Kupperman, Joel
Published: (1966)

Intermediate logic
by: Bostock, David
Published: (1997)

Handbook of Philosophical Logic
by: Gabbay, D.M
Published: (2005)

Goguen Categories A Categorical Approach to L-fuzzy Relations /
by: Winter, Michael
Published: (2007)

Between Logic and Reality Modeling Inference, Action and Understanding /
by: Trobok, Majda
Published: (2012)

Deducibility and decidability
by: Gill, R. R. Rockingham, 1944-
Published: (1990)

Logic and Philosophy of Mathematics in the Early Husserl
by: Centrone, Stefania
Published: (2010)

Quantifiers, propositions and identity admissible semantics for quantified modal and substructural logics /
by: Goldblatt, Robert
Published: (2011)

Essays on non-classical logic
Published: (2001)

Scenario Logic and Probabilistic Management of Risk in Business and Engineering
by: Solojentsev, E. D.
Published: (2005)

Proof, logic, and formalization
Published: (1992)

Argument Structure: Representation and Theory /
by: Freeman, James B.
Published: (2011)

Concepts of proof in mathematics, philosophy, and computer science /
Published: (2016)