Зображення обкладинки

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

Повний опис

Збережено в:

Бібліографічні деталі
Співавтор:	SpringerLink (Online service)
Інші автори:	Piecha, Thomas (Редактор), Schroeder-Heister, Peter (Редактор)
Формат:	Електронний ресурс eКнига
Мова:	Англійська
Опубліковано:	Cham : Springer International Publishing : Imprint: Springer, 2016.
Серія:	Trends in Logic, Studia Logica Library, 43
Предмети:	Philosophy. Logic. Mathematical logic. Mathematical Logic and Foundations. Mathematical Logic and Formal Languages.
Онлайн доступ:	http://dx.doi.org/10.1007/978-3-319-22686-6
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!

Схожі ресурси

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)

Constructive Negations and Paraconsistency
за авторством: Odintsov, Sergei P.
Опубліковано: (2008)

Games: Unifying Logic, Language, and Philosophy
за авторством: Majer, Ondrej
Опубліковано: (2009)

Epistemology versus Ontology Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Lf /
за авторством: Dybjer, P.
Опубліковано: (2012)

Deduction, Computation, Experiment Exploring the Effectiveness of Proof /
за авторством: Lupacchini, Rossella
Опубліковано: (2008)

Logic, Mathematics, Philosophy, Vintage Enthusiasms Essays in Honour of John L. Bell /
за авторством: DeVidi, David
Опубліковано: (2011)

Games, Norms and Reasons Logic at the Crossroads /
за авторством: van Benthem, Johan
Опубліковано: (2011)

Handbook of Philosophical Logic
за авторством: Gabbay, D.M
Опубліковано: (2007)

Dynamic Epistemic Logic
за авторством: Ditmarsch, Hans
Опубліковано: (2007)

Foundational Theories of Classical and Constructive Mathematics
за авторством: Sommaruga, Giovanni
Опубліковано: (2011)

A Geometry of Approximation Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns /
за авторством: Pagliani, Piero
Опубліковано: (2008)

Strict Finitism and the Logic of Mathematical Applications
за авторством: Ye, Feng
Опубліковано: (2011)

The Arch Papers on the Mathematics of Abstraction
за авторством: Cook, Roy T.
Опубліковано: (2007)

Treatise on Intuitionistic Type Theory
за авторством: Granstrm, Johan Georg
Опубліковано: (2011)

Symbolic logic syntax, semantics, and proof /
за авторством: Agler, David W., 1982-
Опубліковано: (2013)

Proof and knowledge in mathematics
Опубліковано: (1992)

Handbook of Spatial Logics
за авторством: Aiello, Marco
Опубліковано: (2007)

Brouwer Meets Husserl On the Phenomenology of Choice Sequences /
за авторством: Atten, Mark
Опубліковано: (2007)

Interpreted Languages and Compositionality
за авторством: Kracht, Marcus
Опубліковано: (2011)

Perspectives On Mathematical Practices Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Education /
за авторством: Kerkhove, Bart
Опубліковано: (2007)

Cambridge and Vienna Frank P. Ramsey and the Vienna Circle /
за авторством: Galavotti, Maria Carla
Опубліковано: (2006)

Symbolic logic and the real number system : an introduction to the foundations of number systems /
за авторством: Lightstone, A. H.
Опубліковано: (1965)

A logical Approach to Philosophy Essays in Honour of Graham Solomon /
за авторством: Devidi, David
Опубліковано: (2006)

Goguen Categories A Categorical Approach to L-fuzzy Relations /
за авторством: Winter, Michael
Опубліковано: (2007)

Between Logic and Reality Modeling Inference, Action and Understanding /
за авторством: Trobok, Majda
Опубліковано: (2012)

Handbook of Philosophical Logic
за авторством: Gabbay, D.M
Опубліковано: (2005)

Fundamentals of logic : An intrduction to Aristotelian and Sympolic, induction, and the avoidance of every day fallacies /
за авторством: Kupperman, Joel
Опубліковано: (1966)

Intermediate logic
за авторством: Bostock, David
Опубліковано: (1997)

Deducibility and decidability
за авторством: Gill, R. R. Rockingham, 1944-
Опубліковано: (1990)

Logic and Philosophy of Mathematics in the Early Husserl
за авторством: Centrone, Stefania
Опубліковано: (2010)

Essays on non-classical logic
Опубліковано: (2001)

Quantifiers, propositions and identity admissible semantics for quantified modal and substructural logics /
за авторством: Goldblatt, Robert
Опубліковано: (2011)

Scenario Logic and Probabilistic Management of Risk in Business and Engineering
за авторством: Solojentsev, E. D.
Опубліковано: (2005)

Argument Structure: Representation and Theory /
за авторством: Freeman, James B.
Опубліковано: (2011)

Proof, logic, and formalization
Опубліковано: (1992)

Handbook of Philosophical Logic Volume 16 /
за авторством: Gabbay, Dov M.
Опубліковано: (2011)