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