Cargando…

The semantics and proof theory of the logic of bunched implications

Detalles Bibliográficos
Autor principal:	Pym, David J
Lenguaje:	eng
Publicado:	Springer 2002
Materias:	Mathematical Physics and Mathematics
Acceso en línea:	https://dx.doi.org/10.1007/978-94-017-0091-7 http://cds.cern.ch/record/1620667

Ejemplares similares

Symbolic logic: syntax, semantics, and proof
por: Agler, David
Publicado: (2012)

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

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

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

Classical Mathematical Logic: The Semantic Foundations of Logic
por: Epstein, Richard L, et al.
Publicado: (2011)

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

Logic with a probability semantics
por: Hailperin, Theodore
Publicado: (2010)

Logical Foundations of Proof Complexity
por: Cook, Stephen, et al.
Publicado: (2010)

A Logical Introduction to Proof
por: Cunningham, Daniel W
Publicado: (2012)

A general algebraic semantics for sentential logics
por: Font, Josep Maria, et al.
Publicado: (2017)

Introduction to discrete mathematics via logic and proof
por: Jongsma, Calvin
Publicado: (2019)

Logics and falsifications: a new perspective on constructivist semantics
por: Kapsner, Andreas
Publicado: (2014)

Dynamics of judicial proof: computation, logic, and common sense
por: Kacprzyk, Janusz, et al.
Publicado: (2002)

Conditional and preferential logics: proof methods and theorem proving
por: Pozzato, GL
Publicado: (2010)

2nd International Conference on Proof-Theoretic Semantics
por: Piecha, Thomas, et al.
Publicado: (2016)

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)

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

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

Set theory and logic
por: Stoll, Robert R
Publicado: (1963)

Logical number theory
por: Smoryński, Craig
Publicado: (1991)

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

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

The theory of gambling and statistical logic
por: Epstein, Richard A
Publicado: (1995)

Lectures in logic and set theory
por: Tourlakis, George
Publicado: (2003)

The Theory of Gambling and Statistical Logic
por: Epstein, Richard A
Publicado: (2009)

Completeness Theory for Propositional Logics
por: Pogorzelski, Witold A, et al.
Publicado: (2008)

Decidability of logical theories and their combination
por: Rasga, João, et al.
Publicado: (2020)

Logic by way of set theory
por: Ehlers, Henry
Publicado: (1968)

Probability theory: the logic of science
por: Jaynes, E T, et al.
Publicado: (2003)

Lectures in Logic and Set Theory
por: Tourlakis, George, et al.
Publicado: (2003)

The computational complexity of logical theories
por: Ferrante, Jeanne, et al.
Publicado: (1979)

Dependence logic: theory and applications
por: Abramsky, Samson, et al.
Publicado: (2016)

Boolean logic, expressions and theories
por: Carlsen, Victoria C
Publicado: (2020)

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

Applications of functional analysis and operator theory
por: Hutson, V, et al.
Publicado: (1980)

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

Problems in set theory, mathematical logic and the theory of algorithms
por: Corsi, Giovanna
Publicado: (2003)

Fuzzy logic: theory, programming and applications
por: Vargas, Raymond E
Publicado: (2010)

Integration of fuzzy logic and chaos theory
por: Li, Zhong, et al.
Publicado: (2005)

Mathematical logic: an introduction to model theory
por: Enderton, H
Publicado: (1978)

Cannot write session to /tmp/vufind_sessions/sess_rbj9tbvl6jeadonpbmh4oe44gc