صورة الغلاف

QR رمز

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

وصف كامل

محفوظ في:

التفاصيل البيبلوغرافية
مؤلف مشترك:	SpringerLink (Online service)
مؤلفون آخرون:	Piecha, Thomas (المحرر), Schroeder-Heister, Peter (المحرر)
التنسيق:	الكتروني كتاب الكتروني
اللغة:	الإنجليزية
منشور في:	Cham : Springer International Publishing : Imprint: Springer, 2016.
سلاسل:	Trends in Logic, Studia Logica Library, 43
الموضوعات:	Philosophy. Logic. Mathematical logic. Mathematical Logic and Foundations. Mathematical Logic and Formal Languages.
الوصول للمادة أونلاين:	http://dx.doi.org/10.1007/978-3-319-22686-6
الوسوم:	إضافة وسم لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!

مواد مشابهة

Proof, Computation and Agency Logic at the Crossroads /
حسب: van Benthem, Johan
منشور في: (2011)

Truth and Falsehood An Inquiry into Generalized Logical Values /
حسب: Shramko, Yaroslav
منشور في: (2012)

Modalities and Multimodalities With the assistance and collaboration of Juliana Bueno-Soler /
حسب: Carnielli, Walter
منشور في: (2008)

Information and Knowledge A Constructive Type-theoretical Approach /
حسب: Primiero, Giuseppe
منشور في: (2008)

Constructive Negations and Paraconsistency
حسب: Odintsov, Sergei P.
منشور في: (2008)

The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today /
حسب: Benthem, Johan
منشور في: (2006)

Games: Unifying Logic, Language, and Philosophy
حسب: Majer, Ondrej
منشور في: (2009)

Epistemology versus Ontology Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Lf /
حسب: Dybjer, P.
منشور في: (2012)

Deduction, Computation, Experiment Exploring the Effectiveness of Proof /
حسب: Lupacchini, Rossella
منشور في: (2008)

Logic, Mathematics, Philosophy, Vintage Enthusiasms Essays in Honour of John L. Bell /
حسب: DeVidi, David
منشور في: (2011)

Games, Norms and Reasons Logic at the Crossroads /
حسب: van Benthem, Johan
منشور في: (2011)

Handbook of Philosophical Logic
حسب: Gabbay, D.M
منشور في: (2007)

Dynamic Epistemic Logic
حسب: Ditmarsch, Hans
منشور في: (2007)

Foundational Theories of Classical and Constructive Mathematics
حسب: Sommaruga, Giovanni
منشور في: (2011)

A Geometry of Approximation Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns /
حسب: Pagliani, Piero
منشور في: (2008)

Strict Finitism and the Logic of Mathematical Applications
حسب: Ye, Feng
منشور في: (2011)

The Arch Papers on the Mathematics of Abstraction
حسب: Cook, Roy T.
منشور في: (2007)

Treatise on Intuitionistic Type Theory
حسب: Granstrm, Johan Georg
منشور في: (2011)

Symbolic logic syntax, semantics, and proof /
حسب: Agler, David W., 1982-
منشور في: (2013)

Proof and knowledge in mathematics
منشور في: (1992)

Handbook of Spatial Logics
حسب: Aiello, Marco
منشور في: (2007)

Brouwer Meets Husserl On the Phenomenology of Choice Sequences /
حسب: Atten, Mark
منشور في: (2007)

Interpreted Languages and Compositionality
حسب: Kracht, Marcus
منشور في: (2011)

Perspectives On Mathematical Practices Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Education /
حسب: Kerkhove, Bart
منشور في: (2007)

Cambridge and Vienna Frank P. Ramsey and the Vienna Circle /
حسب: Galavotti, Maria Carla
منشور في: (2006)

Symbolic logic and the real number system : an introduction to the foundations of number systems /
حسب: Lightstone, A. H.
منشور في: (1965)

A logical Approach to Philosophy Essays in Honour of Graham Solomon /
حسب: Devidi, David
منشور في: (2006)

Goguen Categories A Categorical Approach to L-fuzzy Relations /
حسب: Winter, Michael
منشور في: (2007)

Handbook of Philosophical Logic
حسب: Gabbay, D.M
منشور في: (2005)

Between Logic and Reality Modeling Inference, Action and Understanding /
حسب: Trobok, Majda
منشور في: (2012)

Fundamentals of logic : An intrduction to Aristotelian and Sympolic, induction, and the avoidance of every day fallacies /
حسب: Kupperman, Joel
منشور في: (1966)

Intermediate logic
حسب: Bostock, David
منشور في: (1997)

Deducibility and decidability
حسب: Gill, R. R. Rockingham, 1944-
منشور في: (1990)

Logic and Philosophy of Mathematics in the Early Husserl
حسب: Centrone, Stefania
منشور في: (2010)

Essays on non-classical logic
منشور في: (2001)

Quantifiers, propositions and identity admissible semantics for quantified modal and substructural logics /
حسب: Goldblatt, Robert
منشور في: (2011)

Scenario Logic and Probabilistic Management of Risk in Business and Engineering
حسب: Solojentsev, E. D.
منشور في: (2005)

Argument Structure: Representation and Theory /
حسب: Freeman, James B.
منشور في: (2011)

Handbook of Philosophical Logic Volume 16 /
حسب: Gabbay, Dov M.
منشور في: (2011)

Proof, logic, and formalization
منشور في: (1992)