Hybrid logic and its proof theory
β BraΓΌner, Torben
π Library
π
2011
π Springer
π English
β¦ LIBER β¦
π
Hybrid Logic and its Proof-Theory
β Scribed by Torben BraΓΌner
- Publisher
- Springer
- Year
- 2011
- Tongue
- English
- Leaves
- 246
- Series
- Applied Logic Series 37
- Category
- Library
β¬ Acquire This Volume
No coin nor oath required. For personal study only.
β¦ Subjects
Logic; Mathematical Logic and Formal Languages; Mathematical Logic and Foundations
π SIMILAR VOLUMES
Hybrid Logic and its Proof-Theory
β Torben BraΓΌner (auth.)
π Library
π
2011
π Springer
π English
Proof Theory and Logical Complexity: Vol
β Jean-Yves Girard
π Library
π
1990
π English
Hardbound. This volume is the first in a series which will, in the future, be published jointly by Bibliopolis, Edizioni di Filosofia e Scienze spa, Napoli, and under the North-Holland imprint by Elsevier Science Publishers, Amsterdam.This is the first of a two-part work covering the main ideas and
Proof Theory and Algebra in Logic
β Hiroakira Ono
π Library
π
2019
π Springer Singapore
π English
<p>This book offers a concise introduction to both proof-theory and algebraic methods, the core of the syntactic and semantic study of logic respectively. The importance of combining these two has been increasingly recognized in recent years. It highlights the contrasts between the deep, concrete re
Reductive Logic and Proof-Search: Proof
β David J. Pym, Eike Ritter
π Library
π
2004
π Oxford University Press, USA
π English
Drawing somewhat on the techniques and culture of philosophy, but mostly on those of mathematics and computing, Pyn (U. of Bath) and Ritter (U. of Birmingham) introduce reductive logic and proof-search. They argue that the reductive view of logic is at least as fundamental as the deductive view; ide
Reductive logic and proof-search: Proof
β David J. Pym, Eike Ritter
π Library
π
2004
π Clarendon Press
π English
This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search including proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its m