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...
Αποθηκεύτηκε σε:
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | Αγγλικά |
| Έκδοση: |
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 |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
Παρόμοια τεκμήρια
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)
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)
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)
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)
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)
Proof and knowledge in mathematics
Έκδοση: (1992)
Έκδοση: (1992)
Handbook of Spatial Logics
από: Aiello, Marco
Έκδοση: (2007)
από: Aiello, Marco
Έκδοση: (2007)
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)
A logical Approach to Philosophy Essays in Honour of Graham Solomon /
από: Devidi, David
Έκδοση: (2006)
από: Devidi, David
Έκδοση: (2006)
Symbolic logic and the real number system : an introduction to the foundations of number systems /
από: Lightstone, A. H.
Έκδοση: (1965)
από: Lightstone, A. H.
Έκδοση: (1965)
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)
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)
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)
Handbook of Philosophical Logic Volume 16 /
από: Gabbay, Dov M.
Έκδοση: (2011)
από: Gabbay, Dov M.
Έκδοση: (2011)