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...
Wedi'i Gadw mewn:
| Awdur Corfforaethol: | |
|---|---|
| Awduron Eraill: | , |
| Fformat: | Electronig eLyfr |
| Iaith: | Saesneg |
| Cyhoeddwyd: |
Cham :
Springer International Publishing : Imprint: Springer,
2016.
|
| Cyfres: | Trends in Logic, Studia Logica Library,
43 |
| Pynciau: | |
| Mynediad Ar-lein: | http://dx.doi.org/10.1007/978-3-319-22686-6 |
| Tagiau: |
Ychwanegu Tag
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!
|
Eitemau Tebyg
Proof, Computation and Agency Logic at the Crossroads /
gan: van Benthem, Johan
Cyhoeddwyd: (2011)
gan: van Benthem, Johan
Cyhoeddwyd: (2011)
Truth and Falsehood An Inquiry into Generalized Logical Values /
gan: Shramko, Yaroslav
Cyhoeddwyd: (2012)
gan: Shramko, Yaroslav
Cyhoeddwyd: (2012)
Modalities and Multimodalities With the assistance and collaboration of Juliana Bueno-Soler /
gan: Carnielli, Walter
Cyhoeddwyd: (2008)
gan: Carnielli, Walter
Cyhoeddwyd: (2008)
Information and Knowledge A Constructive Type-theoretical Approach /
gan: Primiero, Giuseppe
Cyhoeddwyd: (2008)
gan: Primiero, Giuseppe
Cyhoeddwyd: (2008)
The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today /
gan: Benthem, Johan
Cyhoeddwyd: (2006)
gan: Benthem, Johan
Cyhoeddwyd: (2006)
Constructive Negations and Paraconsistency
gan: Odintsov, Sergei P.
Cyhoeddwyd: (2008)
gan: Odintsov, Sergei P.
Cyhoeddwyd: (2008)
Games: Unifying Logic, Language, and Philosophy
gan: Majer, Ondrej
Cyhoeddwyd: (2009)
gan: Majer, Ondrej
Cyhoeddwyd: (2009)
Epistemology versus Ontology Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Lf /
gan: Dybjer, P.
Cyhoeddwyd: (2012)
gan: Dybjer, P.
Cyhoeddwyd: (2012)
Deduction, Computation, Experiment Exploring the Effectiveness of Proof /
gan: Lupacchini, Rossella
Cyhoeddwyd: (2008)
gan: Lupacchini, Rossella
Cyhoeddwyd: (2008)
Logic, Mathematics, Philosophy, Vintage Enthusiasms Essays in Honour of John L. Bell /
gan: DeVidi, David
Cyhoeddwyd: (2011)
gan: DeVidi, David
Cyhoeddwyd: (2011)
Games, Norms and Reasons Logic at the Crossroads /
gan: van Benthem, Johan
Cyhoeddwyd: (2011)
gan: van Benthem, Johan
Cyhoeddwyd: (2011)
Handbook of Philosophical Logic
gan: Gabbay, D.M
Cyhoeddwyd: (2007)
gan: Gabbay, D.M
Cyhoeddwyd: (2007)
Dynamic Epistemic Logic
gan: Ditmarsch, Hans
Cyhoeddwyd: (2007)
gan: Ditmarsch, Hans
Cyhoeddwyd: (2007)
Foundational Theories of Classical and Constructive Mathematics
gan: Sommaruga, Giovanni
Cyhoeddwyd: (2011)
gan: Sommaruga, Giovanni
Cyhoeddwyd: (2011)
A Geometry of Approximation Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns /
gan: Pagliani, Piero
Cyhoeddwyd: (2008)
gan: Pagliani, Piero
Cyhoeddwyd: (2008)
Strict Finitism and the Logic of Mathematical Applications
gan: Ye, Feng
Cyhoeddwyd: (2011)
gan: Ye, Feng
Cyhoeddwyd: (2011)
The Arch Papers on the Mathematics of Abstraction
gan: Cook, Roy T.
Cyhoeddwyd: (2007)
gan: Cook, Roy T.
Cyhoeddwyd: (2007)
Treatise on Intuitionistic Type Theory
gan: Granstrm, Johan Georg
Cyhoeddwyd: (2011)
gan: Granstrm, Johan Georg
Cyhoeddwyd: (2011)
Symbolic logic syntax, semantics, and proof /
gan: Agler, David W., 1982-
Cyhoeddwyd: (2013)
gan: Agler, David W., 1982-
Cyhoeddwyd: (2013)
Proof and knowledge in mathematics
Cyhoeddwyd: (1992)
Cyhoeddwyd: (1992)
Brouwer Meets Husserl On the Phenomenology of Choice Sequences /
gan: Atten, Mark
Cyhoeddwyd: (2007)
gan: Atten, Mark
Cyhoeddwyd: (2007)
Handbook of Spatial Logics
gan: Aiello, Marco
Cyhoeddwyd: (2007)
gan: Aiello, Marco
Cyhoeddwyd: (2007)
Interpreted Languages and Compositionality
gan: Kracht, Marcus
Cyhoeddwyd: (2011)
gan: Kracht, Marcus
Cyhoeddwyd: (2011)
Perspectives On Mathematical Practices Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Education /
gan: Kerkhove, Bart
Cyhoeddwyd: (2007)
gan: Kerkhove, Bart
Cyhoeddwyd: (2007)
Symbolic logic and the real number system : an introduction to the foundations of number systems /
gan: Lightstone, A. H.
Cyhoeddwyd: (1965)
gan: Lightstone, A. H.
Cyhoeddwyd: (1965)
Cambridge and Vienna Frank P. Ramsey and the Vienna Circle /
gan: Galavotti, Maria Carla
Cyhoeddwyd: (2006)
gan: Galavotti, Maria Carla
Cyhoeddwyd: (2006)
Handbook of Philosophical Logic
gan: Gabbay, D.M
Cyhoeddwyd: (2005)
gan: Gabbay, D.M
Cyhoeddwyd: (2005)
Goguen Categories A Categorical Approach to L-fuzzy Relations /
gan: Winter, Michael
Cyhoeddwyd: (2007)
gan: Winter, Michael
Cyhoeddwyd: (2007)
Between Logic and Reality Modeling Inference, Action and Understanding /
gan: Trobok, Majda
Cyhoeddwyd: (2012)
gan: Trobok, Majda
Cyhoeddwyd: (2012)
A logical Approach to Philosophy Essays in Honour of Graham Solomon /
gan: Devidi, David
Cyhoeddwyd: (2006)
gan: Devidi, David
Cyhoeddwyd: (2006)
Fundamentals of logic : An intrduction to Aristotelian and Sympolic, induction, and the avoidance of every day fallacies /
gan: Kupperman, Joel
Cyhoeddwyd: (1966)
gan: Kupperman, Joel
Cyhoeddwyd: (1966)
Intermediate logic
gan: Bostock, David
Cyhoeddwyd: (1997)
gan: Bostock, David
Cyhoeddwyd: (1997)
Deducibility and decidability
gan: Gill, R. R. Rockingham, 1944-
Cyhoeddwyd: (1990)
gan: Gill, R. R. Rockingham, 1944-
Cyhoeddwyd: (1990)
Essays on non-classical logic
Cyhoeddwyd: (2001)
Cyhoeddwyd: (2001)
Quantifiers, propositions and identity admissible semantics for quantified modal and substructural logics /
gan: Goldblatt, Robert
Cyhoeddwyd: (2011)
gan: Goldblatt, Robert
Cyhoeddwyd: (2011)
Logic and Philosophy of Mathematics in the Early Husserl
gan: Centrone, Stefania
Cyhoeddwyd: (2010)
gan: Centrone, Stefania
Cyhoeddwyd: (2010)
Scenario Logic and Probabilistic Management of Risk in Business and Engineering
gan: Solojentsev, E. D.
Cyhoeddwyd: (2005)
gan: Solojentsev, E. D.
Cyhoeddwyd: (2005)
Argument Structure: Representation and Theory /
gan: Freeman, James B.
Cyhoeddwyd: (2011)
gan: Freeman, James B.
Cyhoeddwyd: (2011)
Handbook of Philosophical Logic Volume 16 /
gan: Gabbay, Dov M.
Cyhoeddwyd: (2011)
gan: Gabbay, Dov M.
Cyhoeddwyd: (2011)
Proof, logic, and formalization
Cyhoeddwyd: (1992)
Cyhoeddwyd: (1992)