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...
I tiakina i:
Kaituhi rangatōpū: | SpringerLink (Online service) |
---|---|
Ētahi atu kaituhi: | Piecha, Thomas (Editor), Schroeder-Heister, Peter (Editor) |
Hōputu: | Tāhiko īPukapuka |
Reo: | Ingarihi |
I whakaputaina: |
Cham :
Springer International Publishing : Imprint: Springer,
2016.
|
Rangatū: | Trends in Logic, Studia Logica Library,
43 |
Ngā marau: | |
Urunga tuihono: | http://dx.doi.org/10.1007/978-3-319-22686-6 |
Ngā Tūtohu: |
Tāpirihia he Tūtohu
Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!
|
- Ngā puringa
- Whakaahuatanga
- Rārangi ihirangi
- Ngā Tākupu
- Ētahi Atu Putanga (1)
- Ngā tūemi rite
- Tirohanga kaimahi
Ngā tūemi rite
Advances in Proof-Theoretic Semantics
I whakaputaina: (2016)
I whakaputaina: (2016)
Proof, Computation and Agency Logic at the Crossroads /
mā: van Benthem, Johan
I whakaputaina: (2011)
mā: van Benthem, Johan
I whakaputaina: (2011)
Proof, Computation and Agency Logic at the Crossroads /
mā: van Benthem, Johan
I whakaputaina: (2011)
mā: van Benthem, Johan
I whakaputaina: (2011)
Truth and Falsehood An Inquiry into Generalized Logical Values /
mā: Shramko, Yaroslav
I whakaputaina: (2012)
mā: Shramko, Yaroslav
I whakaputaina: (2012)
Truth and Falsehood An Inquiry into Generalized Logical Values /
mā: Shramko, Yaroslav
I whakaputaina: (2012)
mā: Shramko, Yaroslav
I whakaputaina: (2012)
Modalities and Multimodalities With the assistance and collaboration of Juliana Bueno-Soler /
mā: Carnielli, Walter
I whakaputaina: (2008)
mā: Carnielli, Walter
I whakaputaina: (2008)
Modalities and Multimodalities With the assistance and collaboration of Juliana Bueno-Soler /
mā: Carnielli, Walter
I whakaputaina: (2008)
mā: Carnielli, Walter
I whakaputaina: (2008)
Information and Knowledge A Constructive Type-theoretical Approach /
mā: Primiero, Giuseppe
I whakaputaina: (2008)
mā: Primiero, Giuseppe
I whakaputaina: (2008)
Information and Knowledge A Constructive Type-theoretical Approach /
mā: Primiero, Giuseppe
I whakaputaina: (2008)
mā: Primiero, Giuseppe
I whakaputaina: (2008)
The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today /
mā: Benthem, Johan
I whakaputaina: (2006)
mā: Benthem, Johan
I whakaputaina: (2006)
Constructive Negations and Paraconsistency
mā: Odintsov, Sergei P.
I whakaputaina: (2008)
mā: Odintsov, Sergei P.
I whakaputaina: (2008)
Constructive Negations and Paraconsistency
mā: Odintsov, Sergei P.
I whakaputaina: (2008)
mā: Odintsov, Sergei P.
I whakaputaina: (2008)
The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today /
mā: Benthem, Johan
I whakaputaina: (2006)
mā: Benthem, Johan
I whakaputaina: (2006)
Games: Unifying Logic, Language, and Philosophy
mā: Majer, Ondrej
I whakaputaina: (2009)
mā: Majer, Ondrej
I whakaputaina: (2009)
Games: Unifying Logic, Language, and Philosophy
mā: Majer, Ondrej
I whakaputaina: (2009)
mā: Majer, Ondrej
I whakaputaina: (2009)
Epistemology versus Ontology Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Lf /
mā: Dybjer, P.
I whakaputaina: (2012)
mā: Dybjer, P.
I whakaputaina: (2012)
Epistemology versus Ontology Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Lf /
mā: Dybjer, P.
I whakaputaina: (2012)
mā: Dybjer, P.
I whakaputaina: (2012)
Deduction, Computation, Experiment Exploring the Effectiveness of Proof /
mā: Lupacchini, Rossella
I whakaputaina: (2008)
mā: Lupacchini, Rossella
I whakaputaina: (2008)
Deduction, Computation, Experiment Exploring the Effectiveness of Proof /
mā: Lupacchini, Rossella
I whakaputaina: (2008)
mā: Lupacchini, Rossella
I whakaputaina: (2008)
Logic, Mathematics, Philosophy, Vintage Enthusiasms Essays in Honour of John L. Bell /
mā: DeVidi, David
I whakaputaina: (2011)
mā: DeVidi, David
I whakaputaina: (2011)
Logic, Mathematics, Philosophy, Vintage Enthusiasms Essays in Honour of John L. Bell /
mā: DeVidi, David
I whakaputaina: (2011)
mā: DeVidi, David
I whakaputaina: (2011)
Games, Norms and Reasons Logic at the Crossroads /
mā: van Benthem, Johan
I whakaputaina: (2011)
mā: van Benthem, Johan
I whakaputaina: (2011)
Games, Norms and Reasons Logic at the Crossroads /
mā: van Benthem, Johan
I whakaputaina: (2011)
mā: van Benthem, Johan
I whakaputaina: (2011)
Handbook of Philosophical Logic
mā: Gabbay, D.M
I whakaputaina: (2007)
mā: Gabbay, D.M
I whakaputaina: (2007)
Handbook of Philosophical Logic
mā: Gabbay, D.M
I whakaputaina: (2007)
mā: Gabbay, D.M
I whakaputaina: (2007)
Dynamic Epistemic Logic
mā: Ditmarsch, Hans
I whakaputaina: (2007)
mā: Ditmarsch, Hans
I whakaputaina: (2007)
Dynamic Epistemic Logic
mā: Ditmarsch, Hans
I whakaputaina: (2007)
mā: Ditmarsch, Hans
I whakaputaina: (2007)
Foundational Theories of Classical and Constructive Mathematics
mā: Sommaruga, Giovanni
I whakaputaina: (2011)
mā: Sommaruga, Giovanni
I whakaputaina: (2011)
Foundational Theories of Classical and Constructive Mathematics
mā: Sommaruga, Giovanni
I whakaputaina: (2011)
mā: Sommaruga, Giovanni
I whakaputaina: (2011)
A Geometry of Approximation Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns /
mā: Pagliani, Piero
I whakaputaina: (2008)
mā: Pagliani, Piero
I whakaputaina: (2008)
A Geometry of Approximation Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns /
mā: Pagliani, Piero
I whakaputaina: (2008)
mā: Pagliani, Piero
I whakaputaina: (2008)
The Arch Papers on the Mathematics of Abstraction
mā: Cook, Roy T.
I whakaputaina: (2007)
mā: Cook, Roy T.
I whakaputaina: (2007)
Strict Finitism and the Logic of Mathematical Applications
mā: Ye, Feng
I whakaputaina: (2011)
mā: Ye, Feng
I whakaputaina: (2011)
The Arch Papers on the Mathematics of Abstraction
mā: Cook, Roy T.
I whakaputaina: (2007)
mā: Cook, Roy T.
I whakaputaina: (2007)
Strict Finitism and the Logic of Mathematical Applications
mā: Ye, Feng
I whakaputaina: (2011)
mā: Ye, Feng
I whakaputaina: (2011)
Treatise on Intuitionistic Type Theory
mā: Granstrm, Johan Georg
I whakaputaina: (2011)
mā: Granstrm, Johan Georg
I whakaputaina: (2011)
Treatise on Intuitionistic Type Theory
mā: Granstrm, Johan Georg
I whakaputaina: (2011)
mā: Granstrm, Johan Georg
I whakaputaina: (2011)
Symbolic logic syntax, semantics, and proof /
mā: Agler, David W., 1982-
I whakaputaina: (2013)
mā: Agler, David W., 1982-
I whakaputaina: (2013)
Symbolic logic syntax, semantics, and proof /
mā: Agler, David W., 1982-
I whakaputaina: (2013)
mā: Agler, David W., 1982-
I whakaputaina: (2013)
Proof and knowledge in mathematics
I whakaputaina: (1992)
I whakaputaina: (1992)
Ngā tūemi rite
-
Advances in Proof-Theoretic Semantics
I whakaputaina: (2016) -
Proof, Computation and Agency Logic at the Crossroads /
mā: van Benthem, Johan
I whakaputaina: (2011) -
Proof, Computation and Agency Logic at the Crossroads /
mā: van Benthem, Johan
I whakaputaina: (2011) -
Truth and Falsehood An Inquiry into Generalized Logical Values /
mā: Shramko, Yaroslav
I whakaputaina: (2012) -
Truth and Falsehood An Inquiry into Generalized Logical Values /
mā: Shramko, Yaroslav
I whakaputaina: (2012)