Beeld op de omslag

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...

Volledige beschrijving

Bewaard in:

Bibliografische gegevens
Coauteur:	SpringerLink (Online service)
Andere auteurs:	Piecha, Thomas (Redacteur), Schroeder-Heister, Peter (Redacteur)
Formaat:	Elektronisch E-boek
Taal:	Engels
Gepubliceerd in:	Cham : Springer International Publishing : Imprint: Springer, 2016.
Reeks:	Trends in Logic, Studia Logica Library, 43
Onderwerpen:	Philosophy. Logic. Mathematical logic. Mathematical Logic and Foundations. Mathematical Logic and Formal Languages.
Online toegang:	http://dx.doi.org/10.1007/978-3-319-22686-6
Tags:	Voeg label toe Geen labels, Wees de eerste die dit record labelt!

Gelijkaardige items

Proof, Computation and Agency Logic at the Crossroads /
door: van Benthem, Johan
Gepubliceerd in: (2011)

Truth and Falsehood An Inquiry into Generalized Logical Values /
door: Shramko, Yaroslav
Gepubliceerd in: (2012)

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

Information and Knowledge A Constructive Type-theoretical Approach /
door: Primiero, Giuseppe
Gepubliceerd in: (2008)

Constructive Negations and Paraconsistency
door: Odintsov, Sergei P.
Gepubliceerd in: (2008)

The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today /
door: Benthem, Johan
Gepubliceerd in: (2006)

Games: Unifying Logic, Language, and Philosophy
door: Majer, Ondrej
Gepubliceerd in: (2009)

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

Deduction, Computation, Experiment Exploring the Effectiveness of Proof /
door: Lupacchini, Rossella
Gepubliceerd in: (2008)

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

Games, Norms and Reasons Logic at the Crossroads /
door: van Benthem, Johan
Gepubliceerd in: (2011)

Handbook of Philosophical Logic
door: Gabbay, D.M
Gepubliceerd in: (2007)

Dynamic Epistemic Logic
door: Ditmarsch, Hans
Gepubliceerd in: (2007)

Foundational Theories of Classical and Constructive Mathematics
door: Sommaruga, Giovanni
Gepubliceerd in: (2011)

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

The Arch Papers on the Mathematics of Abstraction
door: Cook, Roy T.
Gepubliceerd in: (2007)

Strict Finitism and the Logic of Mathematical Applications
door: Ye, Feng
Gepubliceerd in: (2011)

Treatise on Intuitionistic Type Theory
door: Granstrm, Johan Georg
Gepubliceerd in: (2011)

Symbolic logic syntax, semantics, and proof /
door: Agler, David W., 1982-
Gepubliceerd in: (2013)

Proof and knowledge in mathematics
Gepubliceerd in: (1992)

Handbook of Spatial Logics
door: Aiello, Marco
Gepubliceerd in: (2007)

Brouwer Meets Husserl On the Phenomenology of Choice Sequences /
door: Atten, Mark
Gepubliceerd in: (2007)

Interpreted Languages and Compositionality
door: Kracht, Marcus
Gepubliceerd in: (2011)

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

Cambridge and Vienna Frank P. Ramsey and the Vienna Circle /
door: Galavotti, Maria Carla
Gepubliceerd in: (2006)

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

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

Goguen Categories A Categorical Approach to L-fuzzy Relations /
door: Winter, Michael
Gepubliceerd in: (2007)

Handbook of Philosophical Logic
door: Gabbay, D.M
Gepubliceerd in: (2005)

Between Logic and Reality Modeling Inference, Action and Understanding /
door: Trobok, Majda
Gepubliceerd in: (2012)

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

Intermediate logic
door: Bostock, David
Gepubliceerd in: (1997)

Deducibility and decidability
door: Gill, R. R. Rockingham, 1944-
Gepubliceerd in: (1990)

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

Essays on non-classical logic
Gepubliceerd in: (2001)

Quantifiers, propositions and identity admissible semantics for quantified modal and substructural logics /
door: Goldblatt, Robert
Gepubliceerd in: (2011)

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

Argument Structure: Representation and Theory /
door: Freeman, James B.
Gepubliceerd in: (2011)

Handbook of Philosophical Logic Volume 16 /
door: Gabbay, Dov M.
Gepubliceerd in: (2011)

Proof, logic, and formalization
Gepubliceerd in: (1992)