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...
Guardat en:
| Autor corporatiu: | |
|---|---|
| Altres autors: | , |
| Format: | Electrònic eBook |
| Idioma: | anglès |
| Publicat: |
Cham :
Springer International Publishing : Imprint: Springer,
2016.
|
| Col·lecció: | Trends in Logic, Studia Logica Library,
43 |
| Matèries: | |
| Accés en línia: | http://dx.doi.org/10.1007/978-3-319-22686-6 |
| Etiquetes: |
Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
Ítems similars
Proof, Computation and Agency Logic at the Crossroads /
per: van Benthem, Johan
Publicat: (2011)
per: van Benthem, Johan
Publicat: (2011)
Truth and Falsehood An Inquiry into Generalized Logical Values /
per: Shramko, Yaroslav
Publicat: (2012)
per: Shramko, Yaroslav
Publicat: (2012)
Modalities and Multimodalities With the assistance and collaboration of Juliana Bueno-Soler /
per: Carnielli, Walter
Publicat: (2008)
per: Carnielli, Walter
Publicat: (2008)
Information and Knowledge A Constructive Type-theoretical Approach /
per: Primiero, Giuseppe
Publicat: (2008)
per: Primiero, Giuseppe
Publicat: (2008)
The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today /
per: Benthem, Johan
Publicat: (2006)
per: Benthem, Johan
Publicat: (2006)
Constructive Negations and Paraconsistency
per: Odintsov, Sergei P.
Publicat: (2008)
per: Odintsov, Sergei P.
Publicat: (2008)
Games: Unifying Logic, Language, and Philosophy
per: Majer, Ondrej
Publicat: (2009)
per: Majer, Ondrej
Publicat: (2009)
Epistemology versus Ontology Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Lf /
per: Dybjer, P.
Publicat: (2012)
per: Dybjer, P.
Publicat: (2012)
Deduction, Computation, Experiment Exploring the Effectiveness of Proof /
per: Lupacchini, Rossella
Publicat: (2008)
per: Lupacchini, Rossella
Publicat: (2008)
Logic, Mathematics, Philosophy, Vintage Enthusiasms Essays in Honour of John L. Bell /
per: DeVidi, David
Publicat: (2011)
per: DeVidi, David
Publicat: (2011)
Games, Norms and Reasons Logic at the Crossroads /
per: van Benthem, Johan
Publicat: (2011)
per: van Benthem, Johan
Publicat: (2011)
Handbook of Philosophical Logic
per: Gabbay, D.M
Publicat: (2007)
per: Gabbay, D.M
Publicat: (2007)
Dynamic Epistemic Logic
per: Ditmarsch, Hans
Publicat: (2007)
per: Ditmarsch, Hans
Publicat: (2007)
Foundational Theories of Classical and Constructive Mathematics
per: Sommaruga, Giovanni
Publicat: (2011)
per: Sommaruga, Giovanni
Publicat: (2011)
A Geometry of Approximation Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns /
per: Pagliani, Piero
Publicat: (2008)
per: Pagliani, Piero
Publicat: (2008)
Strict Finitism and the Logic of Mathematical Applications
per: Ye, Feng
Publicat: (2011)
per: Ye, Feng
Publicat: (2011)
The Arch Papers on the Mathematics of Abstraction
per: Cook, Roy T.
Publicat: (2007)
per: Cook, Roy T.
Publicat: (2007)
Treatise on Intuitionistic Type Theory
per: Granstrm, Johan Georg
Publicat: (2011)
per: Granstrm, Johan Georg
Publicat: (2011)
Symbolic logic syntax, semantics, and proof /
per: Agler, David W., 1982-
Publicat: (2013)
per: Agler, David W., 1982-
Publicat: (2013)
Proof and knowledge in mathematics
Publicat: (1992)
Publicat: (1992)
Handbook of Spatial Logics
per: Aiello, Marco
Publicat: (2007)
per: Aiello, Marco
Publicat: (2007)
Brouwer Meets Husserl On the Phenomenology of Choice Sequences /
per: Atten, Mark
Publicat: (2007)
per: Atten, Mark
Publicat: (2007)
Interpreted Languages and Compositionality
per: Kracht, Marcus
Publicat: (2011)
per: Kracht, Marcus
Publicat: (2011)
Perspectives On Mathematical Practices Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Education /
per: Kerkhove, Bart
Publicat: (2007)
per: Kerkhove, Bart
Publicat: (2007)
Cambridge and Vienna Frank P. Ramsey and the Vienna Circle /
per: Galavotti, Maria Carla
Publicat: (2006)
per: Galavotti, Maria Carla
Publicat: (2006)
Symbolic logic and the real number system : an introduction to the foundations of number systems /
per: Lightstone, A. H.
Publicat: (1965)
per: Lightstone, A. H.
Publicat: (1965)
A logical Approach to Philosophy Essays in Honour of Graham Solomon /
per: Devidi, David
Publicat: (2006)
per: Devidi, David
Publicat: (2006)
Handbook of Philosophical Logic
per: Gabbay, D.M
Publicat: (2005)
per: Gabbay, D.M
Publicat: (2005)
Goguen Categories A Categorical Approach to L-fuzzy Relations /
per: Winter, Michael
Publicat: (2007)
per: Winter, Michael
Publicat: (2007)
Between Logic and Reality Modeling Inference, Action and Understanding /
per: Trobok, Majda
Publicat: (2012)
per: Trobok, Majda
Publicat: (2012)
Fundamentals of logic : An intrduction to Aristotelian and Sympolic, induction, and the avoidance of every day fallacies /
per: Kupperman, Joel
Publicat: (1966)
per: Kupperman, Joel
Publicat: (1966)
Intermediate logic
per: Bostock, David
Publicat: (1997)
per: Bostock, David
Publicat: (1997)
Deducibility and decidability
per: Gill, R. R. Rockingham, 1944-
Publicat: (1990)
per: Gill, R. R. Rockingham, 1944-
Publicat: (1990)
Logic and Philosophy of Mathematics in the Early Husserl
per: Centrone, Stefania
Publicat: (2010)
per: Centrone, Stefania
Publicat: (2010)
Essays on non-classical logic
Publicat: (2001)
Publicat: (2001)
Quantifiers, propositions and identity admissible semantics for quantified modal and substructural logics /
per: Goldblatt, Robert
Publicat: (2011)
per: Goldblatt, Robert
Publicat: (2011)
Scenario Logic and Probabilistic Management of Risk in Business and Engineering
per: Solojentsev, E. D.
Publicat: (2005)
per: Solojentsev, E. D.
Publicat: (2005)
Argument Structure: Representation and Theory /
per: Freeman, James B.
Publicat: (2011)
per: Freeman, James B.
Publicat: (2011)
Proof, logic, and formalization
Publicat: (1992)
Publicat: (1992)
Handbook of Philosophical Logic Volume 16 /
per: Gabbay, Dov M.
Publicat: (2011)
per: Gabbay, Dov M.
Publicat: (2011)