Imagem da capa

Código QR

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...

ver descrição completa

Na minha lista:

Detalhes bibliográficos
Autor Corporativo:	SpringerLink (Online service)
Outros Autores:	Piecha, Thomas (Editor), Schroeder-Heister, Peter (Editor)
Formato:	Recurso Electrónico livro electrónico
Idioma:	inglês
Publicado em:	Cham : Springer International Publishing : Imprint: Springer, 2016.
Colecção:	Trends in Logic, Studia Logica Library, 43
Assuntos:	Philosophy. Logic. Mathematical logic. Mathematical Logic and Foundations. Mathematical Logic and Formal Languages.
Acesso em linha:	http://dx.doi.org/10.1007/978-3-319-22686-6
Tags:	Adicionar Tag Sem tags, seja o primeiro a adicionar uma tag!

Registos relacionados

Proof, Computation and Agency Logic at the Crossroads /
Por: van Benthem, Johan
Publicado em: (2011)

Truth and Falsehood An Inquiry into Generalized Logical Values /
Por: Shramko, Yaroslav
Publicado em: (2012)

Modalities and Multimodalities With the assistance and collaboration of Juliana Bueno-Soler /
Por: Carnielli, Walter
Publicado em: (2008)

Information and Knowledge A Constructive Type-theoretical Approach /
Por: Primiero, Giuseppe
Publicado em: (2008)

The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today /
Por: Benthem, Johan
Publicado em: (2006)

Constructive Negations and Paraconsistency
Por: Odintsov, Sergei P.
Publicado em: (2008)

Games: Unifying Logic, Language, and Philosophy
Por: Majer, Ondrej
Publicado em: (2009)

Epistemology versus Ontology Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Lf /
Por: Dybjer, P.
Publicado em: (2012)

Deduction, Computation, Experiment Exploring the Effectiveness of Proof /
Por: Lupacchini, Rossella
Publicado em: (2008)

Logic, Mathematics, Philosophy, Vintage Enthusiasms Essays in Honour of John L. Bell /
Por: DeVidi, David
Publicado em: (2011)

Games, Norms and Reasons Logic at the Crossroads /
Por: van Benthem, Johan
Publicado em: (2011)

Handbook of Philosophical Logic
Por: Gabbay, D.M
Publicado em: (2007)

Dynamic Epistemic Logic
Por: Ditmarsch, Hans
Publicado em: (2007)

Foundational Theories of Classical and Constructive Mathematics
Por: Sommaruga, Giovanni
Publicado em: (2011)

A Geometry of Approximation Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns /
Por: Pagliani, Piero
Publicado em: (2008)

Strict Finitism and the Logic of Mathematical Applications
Por: Ye, Feng
Publicado em: (2011)

The Arch Papers on the Mathematics of Abstraction
Por: Cook, Roy T.
Publicado em: (2007)

Treatise on Intuitionistic Type Theory
Por: Granstrm, Johan Georg
Publicado em: (2011)

Symbolic logic syntax, semantics, and proof /
Por: Agler, David W., 1982-
Publicado em: (2013)

Proof and knowledge in mathematics
Publicado em: (1992)

Handbook of Spatial Logics
Por: Aiello, Marco
Publicado em: (2007)

Brouwer Meets Husserl On the Phenomenology of Choice Sequences /
Por: Atten, Mark
Publicado em: (2007)

Interpreted Languages and Compositionality
Por: Kracht, Marcus
Publicado em: (2011)

Perspectives On Mathematical Practices Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Education /
Por: Kerkhove, Bart
Publicado em: (2007)

Cambridge and Vienna Frank P. Ramsey and the Vienna Circle /
Por: Galavotti, Maria Carla
Publicado em: (2006)

Symbolic logic and the real number system : an introduction to the foundations of number systems /
Por: Lightstone, A. H.
Publicado em: (1965)

A logical Approach to Philosophy Essays in Honour of Graham Solomon /
Por: Devidi, David
Publicado em: (2006)

Between Logic and Reality Modeling Inference, Action and Understanding /
Por: Trobok, Majda
Publicado em: (2012)

Handbook of Philosophical Logic
Por: Gabbay, D.M
Publicado em: (2005)

Goguen Categories A Categorical Approach to L-fuzzy Relations /
Por: Winter, Michael
Publicado em: (2007)

Fundamentals of logic : An intrduction to Aristotelian and Sympolic, induction, and the avoidance of every day fallacies /
Por: Kupperman, Joel
Publicado em: (1966)

Intermediate logic
Por: Bostock, David
Publicado em: (1997)

Deducibility and decidability
Por: Gill, R. R. Rockingham, 1944-
Publicado em: (1990)

Logic and Philosophy of Mathematics in the Early Husserl
Por: Centrone, Stefania
Publicado em: (2010)

Essays on non-classical logic
Publicado em: (2001)

Quantifiers, propositions and identity admissible semantics for quantified modal and substructural logics /
Por: Goldblatt, Robert
Publicado em: (2011)

Scenario Logic and Probabilistic Management of Risk in Business and Engineering
Por: Solojentsev, E. D.
Publicado em: (2005)

Argument Structure: Representation and Theory /
Por: Freeman, James B.
Publicado em: (2011)

Handbook of Philosophical Logic Volume 16 /
Por: Gabbay, Dov M.
Publicado em: (2011)

Proof, logic, and formalization
Publicado em: (1992)