Cargando…

Proof theory : sequent calculi and related formalisms

Detalles Bibliográficos
Autor principal:	Bimbó, Katalin
Lenguaje:	eng
Publicado:	CRC Press 2015
Materias:	Mathematical Physics and Mathematics
Acceso en línea:	http://cds.cern.ch/record/1988930

Ejemplares similares

Sequents and trees: an introduction to the theory and applications of propositional sequent calculi
por: Indrzejczak, Andrzej
Publicado: (2021)

Dense sphere packings: a blueprint for formal proofs
por: Hales, Thomas
Publicado: (2012)

From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic
por: Fermüller, Christian, et al.
Publicado: (2020)

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)

Introduction to the theory of formal groups
por: Dieudonné, Jean Alexandre
Publicado: (1973)

Combinatory logic: pure, applied and typed
por: Bimbó, Katalin
Publicado: (2012)

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

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

Theory of automata, formal languages and computation
por: Xavier, SPE
Publicado: (2004)

Theory of formal systems (AM-47)
por: Smullyan, Raymond M
Publicado: (1961)

Formalization of complex analysis and matrix theory
por: Shi, Zhiping, et al.
Publicado: (2020)

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)

Extension theory of formally normal and symmetric subspaces
por: Coddington, Earl A
Publicado: (1973)

Formal category theory adjointness for 2-categories
por: Gray, John W
Publicado: (1974)

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

Proof theory and intuitionistic systems
por: Scarpellini, Bruno
Publicado: (1971)

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

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

Formality theory: from Poisson structures to deformation quantization
por: Esposito, Chiara
Publicado: (2015)

Differential calculi on finite groups
por: Castellani, L
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)

Freedom and enforcement in action: a study in formal action theory
por: Czelakowski, Janusz
Publicado: (2015)

Model theory and the philosophy of mathematical practice: formalization without foundationalism
por: Baldwin, John T
Publicado: (2018)

The calculi of lambda conversion (AM-6)
por: Church, Alonzo
Publicado: (1985)

Gentzen Calculi for Modal Propositional Logic
por: Poggiolesi, Francesca
Publicado: (2011)

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 logic and formalized theories: a survey of basic concepts and results
por: Rogers, Robert L
Publicado: (1971)

The formal group law and transferred Chern classes in Morava K-theory
por: Bakuradze, M
Publicado: (2002)

Finite automata, their algebras and grammars: towards a theory of formal expressions
por: Büchi, J Richard, et al.
Publicado: (1989)

A note on bidifferential calculi and bihamiltonian systems
por: Guha, P
Publicado: (2000)

Existence families, functional calculi and evolution equations
por: deLaubenfels, Ralph
Publicado: (1994)

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

Cannot write session to /tmp/vufind_sessions/sess_iflbo4e5lt59p59saqrgqaqjbv