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...
में बचाया:
| निगमित लेखक: | |
|---|---|
| अन्य लेखक: | , |
| स्वरूप: | इलेक्ट्रोनिक ई-पुस्तक |
| भाषा: | अंग्रेज़ी |
| प्रकाशित: |
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)
Constructive Negations and Paraconsistency
द्वारा: Odintsov, Sergei P.
प्रकाशित: (2008)
द्वारा: Odintsov, Sergei P.
प्रकाशित: (2008)
The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today /
द्वारा: Benthem, Johan
प्रकाशित: (2006)
द्वारा: Benthem, Johan
प्रकाशित: (2006)
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)
Symbolic logic and the real number system : an introduction to the foundations of number systems /
द्वारा: Lightstone, A. H.
प्रकाशित: (1965)
द्वारा: Lightstone, A. H.
प्रकाशित: (1965)
A logical Approach to Philosophy Essays in Honour of Graham Solomon /
द्वारा: Devidi, David
प्रकाशित: (2006)
द्वारा: Devidi, David
प्रकाशित: (2006)
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)
Goguen Categories A Categorical Approach to L-fuzzy Relations /
द्वारा: Winter, Michael
प्रकाशित: (2007)
द्वारा: Winter, Michael
प्रकाशित: (2007)
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)
Essays on non-classical logic
प्रकाशित: (2001)
प्रकाशित: (2001)
Quantifiers, propositions and identity admissible semantics for quantified modal and substructural logics /
द्वारा: Goldblatt, Robert
प्रकाशित: (2011)
द्वारा: Goldblatt, Robert
प्रकाशित: (2011)
Logic and Philosophy of Mathematics in the Early Husserl
द्वारा: Centrone, Stefania
प्रकाशित: (2010)
द्वारा: Centrone, Stefania
प्रकाशित: (2010)
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)