Omslagsbild

QR-kod

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 beskrivning

Sparad:

Bibliografiska uppgifter
Institutionell skapare:	SpringerLink (Online service)
Övriga skapare:	Piecha, Thomas (Utgivare, redaktör, sammanställare), Schroeder-Heister, Peter (Utgivare, redaktör, sammanställare)
Materialtyp:	Elektronisk E-bok
Språk:	engelska
Publicerad:	Cham : Springer International Publishing : Imprint: Springer, 2016.
Serie:	Trends in Logic, Studia Logica Library, 43
Ämnen:	Philosophy. Logic. Mathematical logic. Mathematical Logic and Foundations. Mathematical Logic and Formal Languages.
Länkar:	http://dx.doi.org/10.1007/978-3-319-22686-6
Taggar:	Lägg till en tagg Inga taggar, Lägg till första taggen!

Liknande verk

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

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

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

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

Constructive Negations and Paraconsistency
av: Odintsov, Sergei P.
Publicerad: (2008)

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

Games: Unifying Logic, Language, and Philosophy
av: Majer, Ondrej
Publicerad: (2009)

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

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

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

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

Handbook of Philosophical Logic
av: Gabbay, D.M
Publicerad: (2007)

Dynamic Epistemic Logic
av: Ditmarsch, Hans
Publicerad: (2007)

Foundational Theories of Classical and Constructive Mathematics
av: Sommaruga, Giovanni
Publicerad: (2011)

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

Strict Finitism and the Logic of Mathematical Applications
av: Ye, Feng
Publicerad: (2011)

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

Treatise on Intuitionistic Type Theory
av: Granstrm, Johan Georg
Publicerad: (2011)

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

Proof and knowledge in mathematics
Publicerad: (1992)

Handbook of Spatial Logics
av: Aiello, Marco
Publicerad: (2007)

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

Interpreted Languages and Compositionality
av: Kracht, Marcus
Publicerad: (2011)

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

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

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

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

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

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

Handbook of Philosophical Logic
av: Gabbay, D.M
Publicerad: (2005)

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

Intermediate logic
av: Bostock, David
Publicerad: (1997)

Deducibility and decidability
av: Gill, R. R. Rockingham, 1944-
Publicerad: (1990)

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

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

Essays on non-classical logic
Publicerad: (2001)

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

Proof, logic, and formalization
Publicerad: (1992)

Argument Structure: Representation and Theory /
av: Freeman, James B.
Publicerad: (2011)

Handbook of Philosophical Logic Volume 16 /
av: Gabbay, Dov M.
Publicerad: (2011)