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