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...
Сохранить в:
| Соавтор: | |
|---|---|
| Другие авторы: | , |
| Формат: | Электронный ресурс eКнига |
| Язык: | английский |
| Опубликовано: |
Cham :
Springer International Publishing : Imprint: Springer,
2016.
|
| Серии: | Trends in Logic, Studia Logica Library,
43 |
| Предметы: | |
| Online-ссылка: | http://dx.doi.org/10.1007/978-3-319-22686-6 |
| Метки: |
Добавить метку
Нет меток, Требуется 1-ая метка записи!
|
Схожие документы
Advances in Proof-Theoretic Semantics
Опубликовано: (2016)
Опубликовано: (2016)
Proof, Computation and Agency Logic at the Crossroads /
по: van Benthem, Johan
Опубликовано: (2011)
по: van Benthem, Johan
Опубликовано: (2011)
Proof, Computation and Agency Logic at the Crossroads /
по: van Benthem, Johan
Опубликовано: (2011)
по: van Benthem, Johan
Опубликовано: (2011)
Truth and Falsehood An Inquiry into Generalized Logical Values /
по: Shramko, Yaroslav
Опубликовано: (2012)
по: Shramko, Yaroslav
Опубликовано: (2012)
Truth and Falsehood An Inquiry into Generalized Logical Values /
по: Shramko, Yaroslav
Опубликовано: (2012)
по: Shramko, Yaroslav
Опубликовано: (2012)
Modalities and Multimodalities With the assistance and collaboration of Juliana Bueno-Soler /
по: Carnielli, Walter
Опубликовано: (2008)
по: Carnielli, Walter
Опубликовано: (2008)
Modalities and Multimodalities With the assistance and collaboration of Juliana Bueno-Soler /
по: Carnielli, Walter
Опубликовано: (2008)
по: Carnielli, Walter
Опубликовано: (2008)
Information and Knowledge A Constructive Type-theoretical Approach /
по: Primiero, Giuseppe
Опубликовано: (2008)
по: Primiero, Giuseppe
Опубликовано: (2008)
Information and Knowledge A Constructive Type-theoretical Approach /
по: Primiero, Giuseppe
Опубликовано: (2008)
по: Primiero, Giuseppe
Опубликовано: (2008)
Constructive Negations and Paraconsistency
по: Odintsov, Sergei P.
Опубликовано: (2008)
по: Odintsov, Sergei P.
Опубликовано: (2008)
The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today /
по: Benthem, Johan
Опубликовано: (2006)
по: Benthem, Johan
Опубликовано: (2006)
Constructive Negations and Paraconsistency
по: Odintsov, Sergei P.
Опубликовано: (2008)
по: Odintsov, Sergei P.
Опубликовано: (2008)
The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today /
по: Benthem, Johan
Опубликовано: (2006)
по: Benthem, Johan
Опубликовано: (2006)
Games: Unifying Logic, Language, and Philosophy
по: Majer, Ondrej
Опубликовано: (2009)
по: Majer, Ondrej
Опубликовано: (2009)
Games: Unifying Logic, Language, and Philosophy
по: Majer, Ondrej
Опубликовано: (2009)
по: Majer, Ondrej
Опубликовано: (2009)
Epistemology versus Ontology Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Lf /
по: Dybjer, P.
Опубликовано: (2012)
по: Dybjer, P.
Опубликовано: (2012)
Epistemology versus Ontology Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Lf /
по: Dybjer, P.
Опубликовано: (2012)
по: Dybjer, P.
Опубликовано: (2012)
Deduction, Computation, Experiment Exploring the Effectiveness of Proof /
по: Lupacchini, Rossella
Опубликовано: (2008)
по: Lupacchini, Rossella
Опубликовано: (2008)
Deduction, Computation, Experiment Exploring the Effectiveness of Proof /
по: Lupacchini, Rossella
Опубликовано: (2008)
по: Lupacchini, Rossella
Опубликовано: (2008)
Logic, Mathematics, Philosophy, Vintage Enthusiasms Essays in Honour of John L. Bell /
по: DeVidi, David
Опубликовано: (2011)
по: DeVidi, David
Опубликовано: (2011)
Logic, Mathematics, Philosophy, Vintage Enthusiasms Essays in Honour of John L. Bell /
по: DeVidi, David
Опубликовано: (2011)
по: DeVidi, David
Опубликовано: (2011)
Games, Norms and Reasons Logic at the Crossroads /
по: van Benthem, Johan
Опубликовано: (2011)
по: van Benthem, Johan
Опубликовано: (2011)
Games, Norms and Reasons Logic at the Crossroads /
по: van Benthem, Johan
Опубликовано: (2011)
по: van Benthem, Johan
Опубликовано: (2011)
Handbook of Philosophical Logic
по: Gabbay, D.M
Опубликовано: (2007)
по: Gabbay, D.M
Опубликовано: (2007)
Handbook of Philosophical Logic
по: Gabbay, D.M
Опубликовано: (2007)
по: Gabbay, D.M
Опубликовано: (2007)
Dynamic Epistemic Logic
по: Ditmarsch, Hans
Опубликовано: (2007)
по: Ditmarsch, Hans
Опубликовано: (2007)
Dynamic Epistemic Logic
по: Ditmarsch, Hans
Опубликовано: (2007)
по: Ditmarsch, Hans
Опубликовано: (2007)
Foundational Theories of Classical and Constructive Mathematics
по: Sommaruga, Giovanni
Опубликовано: (2011)
по: Sommaruga, Giovanni
Опубликовано: (2011)
Foundational Theories of Classical and Constructive Mathematics
по: Sommaruga, Giovanni
Опубликовано: (2011)
по: Sommaruga, Giovanni
Опубликовано: (2011)
A Geometry of Approximation Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns /
по: Pagliani, Piero
Опубликовано: (2008)
по: Pagliani, Piero
Опубликовано: (2008)
A Geometry of Approximation Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns /
по: Pagliani, Piero
Опубликовано: (2008)
по: Pagliani, Piero
Опубликовано: (2008)
Strict Finitism and the Logic of Mathematical Applications
по: Ye, Feng
Опубликовано: (2011)
по: Ye, Feng
Опубликовано: (2011)
The Arch Papers on the Mathematics of Abstraction
по: Cook, Roy T.
Опубликовано: (2007)
по: Cook, Roy T.
Опубликовано: (2007)
Strict Finitism and the Logic of Mathematical Applications
по: Ye, Feng
Опубликовано: (2011)
по: Ye, Feng
Опубликовано: (2011)
The Arch Papers on the Mathematics of Abstraction
по: Cook, Roy T.
Опубликовано: (2007)
по: Cook, Roy T.
Опубликовано: (2007)
Treatise on Intuitionistic Type Theory
по: Granstrm, Johan Georg
Опубликовано: (2011)
по: Granstrm, Johan Georg
Опубликовано: (2011)
Treatise on Intuitionistic Type Theory
по: Granstrm, Johan Georg
Опубликовано: (2011)
по: Granstrm, Johan Georg
Опубликовано: (2011)
Symbolic logic syntax, semantics, and proof /
по: Agler, David W., 1982-
Опубликовано: (2013)
по: Agler, David W., 1982-
Опубликовано: (2013)
Symbolic logic syntax, semantics, and proof /
по: Agler, David W., 1982-
Опубликовано: (2013)
по: Agler, David W., 1982-
Опубликовано: (2013)
Proof and knowledge in mathematics
Опубликовано: (1992)
Опубликовано: (1992)