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...
Պահպանված է:
Համատեղ հեղինակ: | SpringerLink (Online service) |
---|---|
Այլ հեղինակներ: | Piecha, Thomas (Խմբագիր), Schroeder-Heister, Peter (Խմբագիր) |
Ձևաչափ: | Էլեկտրոնային էլ․ գիրք |
Լեզու: | անգլերեն |
Հրապարակվել է: |
Cham :
Springer International Publishing : Imprint: Springer,
2016.
|
Շարք: | Trends in Logic, Studia Logica Library,
43 |
Խորագրեր: | |
Առցանց հասանելիություն: | 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)
The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today /
: Benthem, Johan
Հրապարակվել է: (2006)
: Benthem, Johan
Հրապարակվել է: (2006)
Constructive Negations and Paraconsistency
: Odintsov, Sergei P.
Հրապարակվել է: (2008)
: Odintsov, Sergei P.
Հրապարակվել է: (2008)
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)
Strict Finitism and the Logic of Mathematical Applications
: Ye, Feng
Հրապարակվել է: (2011)
: Ye, Feng
Հրապարակվել է: (2011)
The Arch Papers on the Mathematics of Abstraction
: Cook, Roy T.
Հրապարակվել է: (2007)
: Cook, Roy T.
Հրապարակվել է: (2007)
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)
Goguen Categories A Categorical Approach to L-fuzzy Relations /
: Winter, Michael
Հրապարակվել է: (2007)
: Winter, Michael
Հրապարակվել է: (2007)
Handbook of Philosophical Logic
: Gabbay, D.M
Հրապարակվել է: (2005)
: Gabbay, D.M
Հրապարակվել է: (2005)
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)
Նմանատիպ նյութեր
-
Proof, Computation and Agency Logic at the Crossroads /
: van Benthem, Johan
Հրապարակվել է: (2011) -
Truth and Falsehood An Inquiry into Generalized Logical Values /
: Shramko, Yaroslav
Հրապարակվել է: (2012) -
Modalities and Multimodalities With the assistance and collaboration of Juliana Bueno-Soler /
: Carnielli, Walter
Հրապարակվել է: (2008) -
Information and Knowledge A Constructive Type-theoretical Approach /
: Primiero, Giuseppe
Հրապարակվել է: (2008) -
The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today /
: Benthem, Johan
Հրապարակվել է: (2006)