Obálka

QR kód

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

Uloženo v:

Podrobná bibliografie
Korporativní autor:	SpringerLink (Online service)
Další autoři:	Piecha, Thomas (Editor), Schroeder-Heister, Peter (Editor)
Médium:	Elektronický zdroj E-kniha
Jazyk:	angličtina
Vydáno:	Cham : Springer International Publishing : Imprint: Springer, 2016.
Edice:	Trends in Logic, Studia Logica Library, 43
Témata:	Philosophy. Logic. Mathematical logic. Mathematical Logic and Foundations. Mathematical Logic and Formal Languages.
On-line přístup:	http://dx.doi.org/10.1007/978-3-319-22686-6
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Podobné jednotky

Proof, Computation and Agency Logic at the Crossroads /
Autor: van Benthem, Johan
Vydáno: (2011)

Truth and Falsehood An Inquiry into Generalized Logical Values /
Autor: Shramko, Yaroslav
Vydáno: (2012)

Modalities and Multimodalities With the assistance and collaboration of Juliana Bueno-Soler /
Autor: Carnielli, Walter
Vydáno: (2008)

Information and Knowledge A Constructive Type-theoretical Approach /
Autor: Primiero, Giuseppe
Vydáno: (2008)

The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today /
Autor: Benthem, Johan
Vydáno: (2006)

Constructive Negations and Paraconsistency
Autor: Odintsov, Sergei P.
Vydáno: (2008)

Games: Unifying Logic, Language, and Philosophy
Autor: Majer, Ondrej
Vydáno: (2009)

Epistemology versus Ontology Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Lf /
Autor: Dybjer, P.
Vydáno: (2012)

Deduction, Computation, Experiment Exploring the Effectiveness of Proof /
Autor: Lupacchini, Rossella
Vydáno: (2008)

Logic, Mathematics, Philosophy, Vintage Enthusiasms Essays in Honour of John L. Bell /
Autor: DeVidi, David
Vydáno: (2011)

Games, Norms and Reasons Logic at the Crossroads /
Autor: van Benthem, Johan
Vydáno: (2011)

Handbook of Philosophical Logic
Autor: Gabbay, D.M
Vydáno: (2007)

Dynamic Epistemic Logic
Autor: Ditmarsch, Hans
Vydáno: (2007)

Foundational Theories of Classical and Constructive Mathematics
Autor: Sommaruga, Giovanni
Vydáno: (2011)

A Geometry of Approximation Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns /
Autor: Pagliani, Piero
Vydáno: (2008)

Strict Finitism and the Logic of Mathematical Applications
Autor: Ye, Feng
Vydáno: (2011)

The Arch Papers on the Mathematics of Abstraction
Autor: Cook, Roy T.
Vydáno: (2007)

Treatise on Intuitionistic Type Theory
Autor: Granstrm, Johan Georg
Vydáno: (2011)

Symbolic logic syntax, semantics, and proof /
Autor: Agler, David W., 1982-
Vydáno: (2013)

Handbook of Spatial Logics
Autor: Aiello, Marco
Vydáno: (2007)

Proof and knowledge in mathematics
Vydáno: (1992)

Brouwer Meets Husserl On the Phenomenology of Choice Sequences /
Autor: Atten, Mark
Vydáno: (2007)

Interpreted Languages and Compositionality
Autor: Kracht, Marcus
Vydáno: (2011)

Perspectives On Mathematical Practices Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Education /
Autor: Kerkhove, Bart
Vydáno: (2007)

Cambridge and Vienna Frank P. Ramsey and the Vienna Circle /
Autor: Galavotti, Maria Carla
Vydáno: (2006)

Symbolic logic and the real number system : an introduction to the foundations of number systems /
Autor: Lightstone, A. H.
Vydáno: (1965)

A logical Approach to Philosophy Essays in Honour of Graham Solomon /
Autor: Devidi, David
Vydáno: (2006)

Fundamentals of logic : An intrduction to Aristotelian and Sympolic, induction, and the avoidance of every day fallacies /
Autor: Kupperman, Joel
Vydáno: (1966)

Intermediate logic
Autor: Bostock, David
Vydáno: (1997)

Handbook of Philosophical Logic
Autor: Gabbay, D.M
Vydáno: (2005)

Goguen Categories A Categorical Approach to L-fuzzy Relations /
Autor: Winter, Michael
Vydáno: (2007)

Between Logic and Reality Modeling Inference, Action and Understanding /
Autor: Trobok, Majda
Vydáno: (2012)

Deducibility and decidability
Autor: Gill, R. R. Rockingham, 1944-
Vydáno: (1990)

Logic and Philosophy of Mathematics in the Early Husserl
Autor: Centrone, Stefania
Vydáno: (2010)

Quantifiers, propositions and identity admissible semantics for quantified modal and substructural logics /
Autor: Goldblatt, Robert
Vydáno: (2011)

Essays on non-classical logic
Vydáno: (2001)

Scenario Logic and Probabilistic Management of Risk in Business and Engineering
Autor: Solojentsev, E. D.
Vydáno: (2005)

Proof, logic, and formalization
Vydáno: (1992)

Argument Structure: Representation and Theory /
Autor: Freeman, James B.
Vydáno: (2011)

Concepts of proof in mathematics, philosophy, and computer science /
Vydáno: (2016)