Azala

QR Kodea

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

Deskribapen osoa

Gorde:

Xehetasun bibliografikoak
Erakunde egilea:	SpringerLink (Online service)
Beste egile batzuk:	Piecha, Thomas (Argitaratzailea), Schroeder-Heister, Peter (Argitaratzailea)
Formatua:	Baliabide elektronikoa eBook
Hizkuntza:	ingelesa
Argitaratua:	Cham : Springer International Publishing : Imprint: Springer, 2016.
Saila:	Trends in Logic, Studia Logica Library, 43
Gaiak:	Philosophy. Logic. Mathematical logic. Mathematical Logic and Foundations. Mathematical Logic and Formal Languages.
Sarrera elektronikoa:	http://dx.doi.org/10.1007/978-3-319-22686-6
Etiketak:	Etiketa erantsi Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!

Antzeko izenburuak

Proof, Computation and Agency Logic at the Crossroads /
nork: van Benthem, Johan
Argitaratua: (2011)

Truth and Falsehood An Inquiry into Generalized Logical Values /
nork: Shramko, Yaroslav
Argitaratua: (2012)

Information and Knowledge A Constructive Type-theoretical Approach /
nork: Primiero, Giuseppe
Argitaratua: (2008)

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

The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today /
nork: Benthem, Johan
Argitaratua: (2006)

Constructive Negations and Paraconsistency
nork: Odintsov, Sergei P.
Argitaratua: (2008)

Games: Unifying Logic, Language, and Philosophy
nork: Majer, Ondrej
Argitaratua: (2009)

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

Deduction, Computation, Experiment Exploring the Effectiveness of Proof /
nork: Lupacchini, Rossella
Argitaratua: (2008)

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

Games, Norms and Reasons Logic at the Crossroads /
nork: van Benthem, Johan
Argitaratua: (2011)

Handbook of Philosophical Logic
nork: Gabbay, D.M
Argitaratua: (2007)

Dynamic Epistemic Logic
nork: Ditmarsch, Hans
Argitaratua: (2007)

Foundational Theories of Classical and Constructive Mathematics
nork: Sommaruga, Giovanni
Argitaratua: (2011)

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

The Arch Papers on the Mathematics of Abstraction
nork: Cook, Roy T.
Argitaratua: (2007)

Strict Finitism and the Logic of Mathematical Applications
nork: Ye, Feng
Argitaratua: (2011)

Treatise on Intuitionistic Type Theory
nork: Granstrm, Johan Georg
Argitaratua: (2011)

Symbolic logic syntax, semantics, and proof /
nork: Agler, David W., 1982-
Argitaratua: (2013)

Proof and knowledge in mathematics
Argitaratua: (1992)

Handbook of Spatial Logics
nork: Aiello, Marco
Argitaratua: (2007)

Brouwer Meets Husserl On the Phenomenology of Choice Sequences /
nork: Atten, Mark
Argitaratua: (2007)

Interpreted Languages and Compositionality
nork: Kracht, Marcus
Argitaratua: (2011)

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

Cambridge and Vienna Frank P. Ramsey and the Vienna Circle /
nork: Galavotti, Maria Carla
Argitaratua: (2006)

A logical Approach to Philosophy Essays in Honour of Graham Solomon /
nork: Devidi, David
Argitaratua: (2006)

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

Handbook of Philosophical Logic
nork: Gabbay, D.M
Argitaratua: (2005)

Goguen Categories A Categorical Approach to L-fuzzy Relations /
nork: Winter, Michael
Argitaratua: (2007)

Between Logic and Reality Modeling Inference, Action and Understanding /
nork: Trobok, Majda
Argitaratua: (2012)

Intermediate logic
nork: Bostock, David
Argitaratua: (1997)

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

Deducibility and decidability
nork: Gill, R. R. Rockingham, 1944-
Argitaratua: (1990)

Logic and Philosophy of Mathematics in the Early Husserl
nork: Centrone, Stefania
Argitaratua: (2010)

Quantifiers, propositions and identity admissible semantics for quantified modal and substructural logics /
nork: Goldblatt, Robert
Argitaratua: (2011)

Essays on non-classical logic
Argitaratua: (2001)

Scenario Logic and Probabilistic Management of Risk in Business and Engineering
nork: Solojentsev, E. D.
Argitaratua: (2005)

Proof, logic, and formalization
Argitaratua: (1992)

Argument Structure: Representation and Theory /
nork: Freeman, James B.
Argitaratua: (2011)

Handbook of Philosophical Logic Volume 16 /
nork: Gabbay, Dov M.
Argitaratua: (2011)