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...
Sábháilte in:
| Údar corparáideach: | |
|---|---|
| Rannpháirtithe: | , |
| Formáid: | Leictreonach Ríomhleabhar |
| Teanga: | Béarla |
| Foilsithe / Cruthaithe: |
Cham :
Springer International Publishing : Imprint: Springer,
2016.
|
| Sraith: | Trends in Logic, Studia Logica Library,
43 |
| Ábhair: | |
| Rochtain ar líne: | http://dx.doi.org/10.1007/978-3-319-22686-6 |
| Clibeanna: |
Cuir clib leis
Níl clibeanna ann, Bí ar an gcéad duine le clib a chur leis an taifead seo!
|
Míreanna comhchosúla
Proof, Computation and Agency Logic at the Crossroads /
de réir: van Benthem, Johan
Foilsithe / Cruthaithe: (2011)
de réir: van Benthem, Johan
Foilsithe / Cruthaithe: (2011)
Truth and Falsehood An Inquiry into Generalized Logical Values /
de réir: Shramko, Yaroslav
Foilsithe / Cruthaithe: (2012)
de réir: Shramko, Yaroslav
Foilsithe / Cruthaithe: (2012)
Information and Knowledge A Constructive Type-theoretical Approach /
de réir: Primiero, Giuseppe
Foilsithe / Cruthaithe: (2008)
de réir: Primiero, Giuseppe
Foilsithe / Cruthaithe: (2008)
Modalities and Multimodalities With the assistance and collaboration of Juliana Bueno-Soler /
de réir: Carnielli, Walter
Foilsithe / Cruthaithe: (2008)
de réir: Carnielli, Walter
Foilsithe / Cruthaithe: (2008)
The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today /
de réir: Benthem, Johan
Foilsithe / Cruthaithe: (2006)
de réir: Benthem, Johan
Foilsithe / Cruthaithe: (2006)
Constructive Negations and Paraconsistency
de réir: Odintsov, Sergei P.
Foilsithe / Cruthaithe: (2008)
de réir: Odintsov, Sergei P.
Foilsithe / Cruthaithe: (2008)
Games: Unifying Logic, Language, and Philosophy
de réir: Majer, Ondrej
Foilsithe / Cruthaithe: (2009)
de réir: Majer, Ondrej
Foilsithe / Cruthaithe: (2009)
Epistemology versus Ontology Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Lf /
de réir: Dybjer, P.
Foilsithe / Cruthaithe: (2012)
de réir: Dybjer, P.
Foilsithe / Cruthaithe: (2012)
Deduction, Computation, Experiment Exploring the Effectiveness of Proof /
de réir: Lupacchini, Rossella
Foilsithe / Cruthaithe: (2008)
de réir: Lupacchini, Rossella
Foilsithe / Cruthaithe: (2008)
Logic, Mathematics, Philosophy, Vintage Enthusiasms Essays in Honour of John L. Bell /
de réir: DeVidi, David
Foilsithe / Cruthaithe: (2011)
de réir: DeVidi, David
Foilsithe / Cruthaithe: (2011)
Games, Norms and Reasons Logic at the Crossroads /
de réir: van Benthem, Johan
Foilsithe / Cruthaithe: (2011)
de réir: van Benthem, Johan
Foilsithe / Cruthaithe: (2011)
Handbook of Philosophical Logic
de réir: Gabbay, D.M
Foilsithe / Cruthaithe: (2007)
de réir: Gabbay, D.M
Foilsithe / Cruthaithe: (2007)
Dynamic Epistemic Logic
de réir: Ditmarsch, Hans
Foilsithe / Cruthaithe: (2007)
de réir: Ditmarsch, Hans
Foilsithe / Cruthaithe: (2007)
Foundational Theories of Classical and Constructive Mathematics
de réir: Sommaruga, Giovanni
Foilsithe / Cruthaithe: (2011)
de réir: Sommaruga, Giovanni
Foilsithe / Cruthaithe: (2011)
A Geometry of Approximation Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns /
de réir: Pagliani, Piero
Foilsithe / Cruthaithe: (2008)
de réir: Pagliani, Piero
Foilsithe / Cruthaithe: (2008)
The Arch Papers on the Mathematics of Abstraction
de réir: Cook, Roy T.
Foilsithe / Cruthaithe: (2007)
de réir: Cook, Roy T.
Foilsithe / Cruthaithe: (2007)
Strict Finitism and the Logic of Mathematical Applications
de réir: Ye, Feng
Foilsithe / Cruthaithe: (2011)
de réir: Ye, Feng
Foilsithe / Cruthaithe: (2011)
Treatise on Intuitionistic Type Theory
de réir: Granstrm, Johan Georg
Foilsithe / Cruthaithe: (2011)
de réir: Granstrm, Johan Georg
Foilsithe / Cruthaithe: (2011)
Symbolic logic syntax, semantics, and proof /
de réir: Agler, David W., 1982-
Foilsithe / Cruthaithe: (2013)
de réir: Agler, David W., 1982-
Foilsithe / Cruthaithe: (2013)
Proof and knowledge in mathematics
Foilsithe / Cruthaithe: (1992)
Foilsithe / Cruthaithe: (1992)
Handbook of Spatial Logics
de réir: Aiello, Marco
Foilsithe / Cruthaithe: (2007)
de réir: Aiello, Marco
Foilsithe / Cruthaithe: (2007)
Brouwer Meets Husserl On the Phenomenology of Choice Sequences /
de réir: Atten, Mark
Foilsithe / Cruthaithe: (2007)
de réir: Atten, Mark
Foilsithe / Cruthaithe: (2007)
Interpreted Languages and Compositionality
de réir: Kracht, Marcus
Foilsithe / Cruthaithe: (2011)
de réir: Kracht, Marcus
Foilsithe / Cruthaithe: (2011)
Perspectives On Mathematical Practices Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Education /
de réir: Kerkhove, Bart
Foilsithe / Cruthaithe: (2007)
de réir: Kerkhove, Bart
Foilsithe / Cruthaithe: (2007)
Cambridge and Vienna Frank P. Ramsey and the Vienna Circle /
de réir: Galavotti, Maria Carla
Foilsithe / Cruthaithe: (2006)
de réir: Galavotti, Maria Carla
Foilsithe / Cruthaithe: (2006)
A logical Approach to Philosophy Essays in Honour of Graham Solomon /
de réir: Devidi, David
Foilsithe / Cruthaithe: (2006)
de réir: Devidi, David
Foilsithe / Cruthaithe: (2006)
Symbolic logic and the real number system : an introduction to the foundations of number systems /
de réir: Lightstone, A. H.
Foilsithe / Cruthaithe: (1965)
de réir: Lightstone, A. H.
Foilsithe / Cruthaithe: (1965)
Goguen Categories A Categorical Approach to L-fuzzy Relations /
de réir: Winter, Michael
Foilsithe / Cruthaithe: (2007)
de réir: Winter, Michael
Foilsithe / Cruthaithe: (2007)
Handbook of Philosophical Logic
de réir: Gabbay, D.M
Foilsithe / Cruthaithe: (2005)
de réir: Gabbay, D.M
Foilsithe / Cruthaithe: (2005)
Between Logic and Reality Modeling Inference, Action and Understanding /
de réir: Trobok, Majda
Foilsithe / Cruthaithe: (2012)
de réir: Trobok, Majda
Foilsithe / Cruthaithe: (2012)
Intermediate logic
de réir: Bostock, David
Foilsithe / Cruthaithe: (1997)
de réir: Bostock, David
Foilsithe / Cruthaithe: (1997)
Fundamentals of logic : An intrduction to Aristotelian and Sympolic, induction, and the avoidance of every day fallacies /
de réir: Kupperman, Joel
Foilsithe / Cruthaithe: (1966)
de réir: Kupperman, Joel
Foilsithe / Cruthaithe: (1966)
Deducibility and decidability
de réir: Gill, R. R. Rockingham, 1944-
Foilsithe / Cruthaithe: (1990)
de réir: Gill, R. R. Rockingham, 1944-
Foilsithe / Cruthaithe: (1990)
Logic and Philosophy of Mathematics in the Early Husserl
de réir: Centrone, Stefania
Foilsithe / Cruthaithe: (2010)
de réir: Centrone, Stefania
Foilsithe / Cruthaithe: (2010)
Quantifiers, propositions and identity admissible semantics for quantified modal and substructural logics /
de réir: Goldblatt, Robert
Foilsithe / Cruthaithe: (2011)
de réir: Goldblatt, Robert
Foilsithe / Cruthaithe: (2011)
Essays on non-classical logic
Foilsithe / Cruthaithe: (2001)
Foilsithe / Cruthaithe: (2001)
Scenario Logic and Probabilistic Management of Risk in Business and Engineering
de réir: Solojentsev, E. D.
Foilsithe / Cruthaithe: (2005)
de réir: Solojentsev, E. D.
Foilsithe / Cruthaithe: (2005)
Proof, logic, and formalization
Foilsithe / Cruthaithe: (1992)
Foilsithe / Cruthaithe: (1992)
Argument Structure: Representation and Theory /
de réir: Freeman, James B.
Foilsithe / Cruthaithe: (2011)
de réir: Freeman, James B.
Foilsithe / Cruthaithe: (2011)
Handbook of Philosophical Logic Volume 16 /
de réir: Gabbay, Dov M.
Foilsithe / Cruthaithe: (2011)
de réir: Gabbay, Dov M.
Foilsithe / Cruthaithe: (2011)