Cargando…

Proof theory and intuitionistic systems

Detalles Bibliográficos
Autor principal:	Scarpellini, Bruno
Lenguaje:	eng
Publicado:	Springer 1971
Materias:	Mathematical Physics and Mathematics
Acceso en línea:	https://dx.doi.org/10.1007/BFb0068783 http://cds.cern.ch/record/1690815

Ejemplares similares

Treatise on intuitionistic type theory
por: Granström, Johan Georg, et al.
Publicado: (2011)

Intuitionistic fuzzy information aggregation: theory and applications
por: Xu, Zeshui, et al.
Publicado: (2012)

Connections between Category Theory and Algebraic Geometry & Intuitionistic Logic
por: Lawvere, F
Publicado: (1972)

A short introduction to intuitionistic logic
por: Mints, Grigori
Publicado: (2002)

Metamathematical investigation of intuitionistic arithmetic and analysis
por: Troelstra, A
Publicado: (1973)

Leo Esakia on duality in modal and intuitionistic logics
por: Bezhanishvili, Guram
Publicado: (2014)

Proof theory
por: Schütte, Kurt
Publicado: (1977)

Proof theory
por: Jervell, Herman Ruge
Publicado: (2013)

Fuzzy set and its extension: the intuitionistic fuzzy set
por: Chaira, Tamalika
Publicado: (2019)

Proof theory: an introduction
por: Pohlers, Wolfram
Publicado: (1989)

Advances in proof theory
por: Kahle, Reinhard, et al.
Publicado: (2016)

Applied proof theory: proof interpretations and their use in mathematics
por: Kohlenbach, Ulrich
Publicado: (2008)

LEJ Brouwer – Topologist, Intuitionist, Philosopher: How Mathematics Is Rooted in Life
por: Dalen, Dirk
Publicado: (2013)

Proof theory for fuzzy logics
por: Metcalfe, G, et al.
Publicado: (2009)

Proof theory of modal logic
por: Wansing, Heinrich
Publicado: (1996)

Goal-directed proof theory
por: Gabbay, Dov M, et al.
Publicado: (2000)

Summer Conference on Intuitionism and Proof theory
por: Troelstra, A S
Publicado: (1969)

Set theory an introduction to independence proofs
por: Kunen, K
Publicado: (1984)

A proof theory for general unification
por: Snyder, Wayne
Publicado: (1991)

Proof theory: the first step into impredicativity
por: Pohlers, Wolfram
Publicado: (2009)

Hybrid Logic and its Proof-Theory
por: Brauner, Torben
Publicado: (2011)

Complexity of proofs and their transformations in axiomatic theories
por: Orevkov, V P, et al.
Publicado: (1993)

Proof theory : sequent calculi and related formalisms
por: Bimbó, Katalin
Publicado: (2015)

The semantics and proof theory of the logic of bunched implications
por: Pym, David J
Publicado: (2002)

A model–theoretic approach to proof theory
por: Adamowicz, Zofia, et al.
Publicado: (2019)

Mathematical problems and proofs: combinatorics, number theory, and geometry
por: Kisacanin, Branislav
Publicado: (1998)

Set theory: Boolean-valued models and independence proofs
por: Bell, John L
Publicado: (2005)

Factors and factorizations of graphs: proof techniques in factor theory
por: Akiyama, Jin, et al.
Publicado: (2011)

Simplified independence proofs: Boolean valued models of set theory
por: Rooser, J Barkley
Publicado: (2014)

Truth, proof and infinity: a theory of constructions and constructive reasoning
por: Hintikka, Jaakko, et al.
Publicado: (2010)

An introduction to mathematical logic and type theory to truth through proof
por: Andrews, Peter B
Publicado: (2002)

The elementary theory of groups: a guide through the proofs of the Tarski conjectures
por: Fine, Benjamin, et al.
Publicado: (2014)

Elementary theory of metric spaces: a course in constructing mathematical proofs
por: Reisel, Robert B
Publicado: (1982)

Space in weak propositional proof systems
por: Bonacina, Ilario
Publicado: (2018)

The nuts and bolts of proofs: an introduction to mathematical proofs
por: Cupillari, Antonella
Publicado: (2005)

The Proof is in the Pudding: The Changing Nature of Mathematical Proof
por: Krantz, Steven G
Publicado: (2011)

The Nuts and Bolts of Proofs: An Introduction to Mathematical Proofs
por: Cupillari, Antonella
Publicado: (2011)

A proof of the crossing property for two-particle amplitudes in general quantum field theory
por: Bros, J, et al.
Publicado: (1965)

Well-quasi orders in computation, logic, language and reasoning: a unifying concept of proof theory, automata theory, formal languages and descriptive set theory
por: Schuster, Peter, et al.
Publicado: (2020)

Model theory and algebraic geometry: an introduction to E. Hrushovski’s proof of the geometric Mordell-Lang conjecture
por: Bouscaren, Elisabeth
Publicado: (1998)

Cannot write session to /tmp/vufind_sessions/sess_q4ivgmqqjffq81qoqac4gonuj6