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...
Saved in:
| 企业作者: | |
|---|---|
| 其他作者: | , |
| 格式: | 电子 电子书 |
| 语言: | 英语 |
| 出版: |
Cham :
Springer International Publishing : Imprint: Springer,
2016.
|
| 丛编: | Trends in Logic, Studia Logica Library,
43 |
| 主题: | |
| 在线阅读: | http://dx.doi.org/10.1007/978-3-319-22686-6 |
| 标签: |
添加标签
没有标签, 成为第一个标记此记录!
|
相似书籍
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)
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)
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)
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)
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)
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)
Dynamic Epistemic Logic
由: Ditmarsch, Hans
出版: (2007)
由: Ditmarsch, Hans
出版: (2007)
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)
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)
Symbolic logic syntax, semantics, and proof /
由: Agler, David W., 1982-
出版: (2013)
由: Agler, David W., 1982-
出版: (2013)
Handbook of Spatial Logics
由: Aiello, Marco
出版: (2007)
由: Aiello, Marco
出版: (2007)
Proof and knowledge in mathematics
出版: (1992)
出版: (1992)
Brouwer Meets Husserl On the Phenomenology of Choice Sequences /
由: Atten, Mark
出版: (2007)
由: Atten, Mark
出版: (2007)
Interpreted Languages and Compositionality
由: Kracht, Marcus
出版: (2011)
由: Kracht, Marcus
出版: (2011)
Perspectives On Mathematical Practices Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Education /
由: Kerkhove, Bart
出版: (2007)
由: Kerkhove, Bart
出版: (2007)
Cambridge and Vienna Frank P. Ramsey and the Vienna Circle /
由: Galavotti, Maria Carla
出版: (2006)
由: Galavotti, Maria Carla
出版: (2006)
Symbolic logic and the real number system : an introduction to the foundations of number systems /
由: Lightstone, A. H.
出版: (1965)
由: Lightstone, A. H.
出版: (1965)
A logical Approach to Philosophy Essays in Honour of Graham Solomon /
由: Devidi, David
出版: (2006)
由: Devidi, David
出版: (2006)
Fundamentals of logic : An intrduction to Aristotelian and Sympolic, induction, and the avoidance of every day fallacies /
由: Kupperman, Joel
出版: (1966)
由: Kupperman, Joel
出版: (1966)
Intermediate logic
由: Bostock, David
出版: (1997)
由: Bostock, David
出版: (1997)
Handbook of Philosophical Logic
由: Gabbay, D.M
出版: (2005)
由: Gabbay, D.M
出版: (2005)
Goguen Categories A Categorical Approach to L-fuzzy Relations /
由: Winter, Michael
出版: (2007)
由: Winter, Michael
出版: (2007)
Between Logic and Reality Modeling Inference, Action and Understanding /
由: Trobok, Majda
出版: (2012)
由: Trobok, Majda
出版: (2012)
Deducibility and decidability
由: Gill, R. R. Rockingham, 1944-
出版: (1990)
由: Gill, R. R. Rockingham, 1944-
出版: (1990)
Logic and Philosophy of Mathematics in the Early Husserl
由: Centrone, Stefania
出版: (2010)
由: Centrone, Stefania
出版: (2010)
Quantifiers, propositions and identity admissible semantics for quantified modal and substructural logics /
由: Goldblatt, Robert
出版: (2011)
由: Goldblatt, Robert
出版: (2011)
Essays on non-classical logic
出版: (2001)
出版: (2001)
Scenario Logic and Probabilistic Management of Risk in Business and Engineering
由: Solojentsev, E. D.
出版: (2005)
由: Solojentsev, E. D.
出版: (2005)
Proof, logic, and formalization
出版: (1992)
出版: (1992)
Argument Structure: Representation and Theory /
由: Freeman, James B.
出版: (2011)
由: Freeman, James B.
出版: (2011)
Concepts of proof in mathematics, philosophy, and computer science /
出版: (2016)
出版: (2016)