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...
Đã lưu trong:
| Tác giả của công ty: | |
|---|---|
| Tác giả khác: | , |
| Định dạng: | Điện tử eBook |
| Ngôn ngữ: | Tiếng Anh |
| Được phát hành: |
Cham :
Springer International Publishing : Imprint: Springer,
2016.
|
| Loạt: | Trends in Logic, Studia Logica Library,
43 |
| Những chủ đề: | |
| Truy cập trực tuyến: | http://dx.doi.org/10.1007/978-3-319-22686-6 |
| Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
Những quyển sách tương tự
Proof, Computation and Agency Logic at the Crossroads /
Bằng: van Benthem, Johan
Được phát hành: (2011)
Bằng: van Benthem, Johan
Được phát hành: (2011)
Truth and Falsehood An Inquiry into Generalized Logical Values /
Bằng: Shramko, Yaroslav
Được phát hành: (2012)
Bằng: Shramko, Yaroslav
Được phát hành: (2012)
Information and Knowledge A Constructive Type-theoretical Approach /
Bằng: Primiero, Giuseppe
Được phát hành: (2008)
Bằng: Primiero, Giuseppe
Được phát hành: (2008)
Modalities and Multimodalities With the assistance and collaboration of Juliana Bueno-Soler /
Bằng: Carnielli, Walter
Được phát hành: (2008)
Bằng: Carnielli, Walter
Được phát hành: (2008)
Constructive Negations and Paraconsistency
Bằng: Odintsov, Sergei P.
Được phát hành: (2008)
Bằng: Odintsov, Sergei P.
Được phát hành: (2008)
The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today /
Bằng: Benthem, Johan
Được phát hành: (2006)
Bằng: Benthem, Johan
Được phát hành: (2006)
Games: Unifying Logic, Language, and Philosophy
Bằng: Majer, Ondrej
Được phát hành: (2009)
Bằng: Majer, Ondrej
Được phát hành: (2009)
Epistemology versus Ontology Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Lf /
Bằng: Dybjer, P.
Được phát hành: (2012)
Bằng: Dybjer, P.
Được phát hành: (2012)
Deduction, Computation, Experiment Exploring the Effectiveness of Proof /
Bằng: Lupacchini, Rossella
Được phát hành: (2008)
Bằng: Lupacchini, Rossella
Được phát hành: (2008)
Logic, Mathematics, Philosophy, Vintage Enthusiasms Essays in Honour of John L. Bell /
Bằng: DeVidi, David
Được phát hành: (2011)
Bằng: DeVidi, David
Được phát hành: (2011)
Games, Norms and Reasons Logic at the Crossroads /
Bằng: van Benthem, Johan
Được phát hành: (2011)
Bằng: van Benthem, Johan
Được phát hành: (2011)
Handbook of Philosophical Logic
Bằng: Gabbay, D.M
Được phát hành: (2007)
Bằng: Gabbay, D.M
Được phát hành: (2007)
Dynamic Epistemic Logic
Bằng: Ditmarsch, Hans
Được phát hành: (2007)
Bằng: Ditmarsch, Hans
Được phát hành: (2007)
Foundational Theories of Classical and Constructive Mathematics
Bằng: Sommaruga, Giovanni
Được phát hành: (2011)
Bằng: Sommaruga, Giovanni
Được phát hành: (2011)
A Geometry of Approximation Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns /
Bằng: Pagliani, Piero
Được phát hành: (2008)
Bằng: Pagliani, Piero
Được phát hành: (2008)
Strict Finitism and the Logic of Mathematical Applications
Bằng: Ye, Feng
Được phát hành: (2011)
Bằng: Ye, Feng
Được phát hành: (2011)
The Arch Papers on the Mathematics of Abstraction
Bằng: Cook, Roy T.
Được phát hành: (2007)
Bằng: Cook, Roy T.
Được phát hành: (2007)
Treatise on Intuitionistic Type Theory
Bằng: Granstrm, Johan Georg
Được phát hành: (2011)
Bằng: Granstrm, Johan Georg
Được phát hành: (2011)
Symbolic logic syntax, semantics, and proof /
Bằng: Agler, David W., 1982-
Được phát hành: (2013)
Bằng: Agler, David W., 1982-
Được phát hành: (2013)
Proof and knowledge in mathematics
Được phát hành: (1992)
Được phát hành: (1992)
Handbook of Spatial Logics
Bằng: Aiello, Marco
Được phát hành: (2007)
Bằng: Aiello, Marco
Được phát hành: (2007)
Brouwer Meets Husserl On the Phenomenology of Choice Sequences /
Bằng: Atten, Mark
Được phát hành: (2007)
Bằng: Atten, Mark
Được phát hành: (2007)
Interpreted Languages and Compositionality
Bằng: Kracht, Marcus
Được phát hành: (2011)
Bằng: Kracht, Marcus
Được phát hành: (2011)
Perspectives On Mathematical Practices Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Education /
Bằng: Kerkhove, Bart
Được phát hành: (2007)
Bằng: Kerkhove, Bart
Được phát hành: (2007)
Cambridge and Vienna Frank P. Ramsey and the Vienna Circle /
Bằng: Galavotti, Maria Carla
Được phát hành: (2006)
Bằng: Galavotti, Maria Carla
Được phát hành: (2006)
A logical Approach to Philosophy Essays in Honour of Graham Solomon /
Bằng: Devidi, David
Được phát hành: (2006)
Bằng: Devidi, David
Được phát hành: (2006)
Symbolic logic and the real number system : an introduction to the foundations of number systems /
Bằng: Lightstone, A. H.
Được phát hành: (1965)
Bằng: Lightstone, A. H.
Được phát hành: (1965)
Goguen Categories A Categorical Approach to L-fuzzy Relations /
Bằng: Winter, Michael
Được phát hành: (2007)
Bằng: Winter, Michael
Được phát hành: (2007)
Handbook of Philosophical Logic
Bằng: Gabbay, D.M
Được phát hành: (2005)
Bằng: Gabbay, D.M
Được phát hành: (2005)
Between Logic and Reality Modeling Inference, Action and Understanding /
Bằng: Trobok, Majda
Được phát hành: (2012)
Bằng: Trobok, Majda
Được phát hành: (2012)
Fundamentals of logic : An intrduction to Aristotelian and Sympolic, induction, and the avoidance of every day fallacies /
Bằng: Kupperman, Joel
Được phát hành: (1966)
Bằng: Kupperman, Joel
Được phát hành: (1966)
Intermediate logic
Bằng: Bostock, David
Được phát hành: (1997)
Bằng: Bostock, David
Được phát hành: (1997)
Deducibility and decidability
Bằng: Gill, R. R. Rockingham, 1944-
Được phát hành: (1990)
Bằng: Gill, R. R. Rockingham, 1944-
Được phát hành: (1990)
Logic and Philosophy of Mathematics in the Early Husserl
Bằng: Centrone, Stefania
Được phát hành: (2010)
Bằng: Centrone, Stefania
Được phát hành: (2010)
Quantifiers, propositions and identity admissible semantics for quantified modal and substructural logics /
Bằng: Goldblatt, Robert
Được phát hành: (2011)
Bằng: Goldblatt, Robert
Được phát hành: (2011)
Essays on non-classical logic
Được phát hành: (2001)
Được phát hành: (2001)
Scenario Logic and Probabilistic Management of Risk in Business and Engineering
Bằng: Solojentsev, E. D.
Được phát hành: (2005)
Bằng: Solojentsev, E. D.
Được phát hành: (2005)
Proof, logic, and formalization
Được phát hành: (1992)
Được phát hành: (1992)
Argument Structure: Representation and Theory /
Bằng: Freeman, James B.
Được phát hành: (2011)
Bằng: Freeman, James B.
Được phát hành: (2011)
Handbook of Philosophical Logic Volume 16 /
Bằng: Gabbay, Dov M.
Được phát hành: (2011)
Bằng: Gabbay, Dov M.
Được phát hành: (2011)