Значок книги

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

Полное описание

Сохранить в:

Библиографические подробности
Соавтор:	SpringerLink (Online service)
Другие авторы:	Piecha, Thomas (Редактор), Schroeder-Heister, Peter (Редактор)
Формат:	Электронный ресурс eКнига
Язык:	английский
Опубликовано:	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.
Online-ссылка:	http://dx.doi.org/10.1007/978-3-319-22686-6
Метки:	Добавить метку Нет меток, Требуется 1-ая метка записи!

Схожие документы

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)

The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today /
по: Benthem, Johan
Опубликовано: (2006)

Constructive Negations and Paraconsistency
по: Odintsov, Sergei P.
Опубликовано: (2008)

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)

Quantifiers, propositions and identity admissible semantics for quantified modal and substructural logics /
по: Goldblatt, Robert
Опубликовано: (2011)

Essays on non-classical logic
Опубликовано: (2001)

Scenario Logic and Probabilistic Management of Risk in Business and Engineering
по: Solojentsev, E. D.
Опубликовано: (2005)

Proof, logic, and formalization
Опубликовано: (1992)

Argument Structure: Representation and Theory /
по: Freeman, James B.
Опубликовано: (2011)

Handbook of Philosophical Logic Volume 16 /
по: Gabbay, Dov M.
Опубликовано: (2011)