Studia Logica
Công bố khoa học tiêu biểu
* Dữ liệu chỉ mang tính chất tham khảo
Sắp xếp:
Vincent F. Hendricks and Pelle G. Hansen, Game Theory: 5 Questions
Studia Logica - Tập 89 - Trang 149-150 - 2008
An application of Rieger-Nishimura formulas to the intuitionistic modal logics
Studia Logica - Tập 44 Số 1 - Trang 79-85 - 1985
Conditionals and monotonic belief revisions: the success postulate
Studia Logica - Tập 49 - Trang 557-566 - 1990
One of the main applications of the logic of theory change is to the epistemic analysis of conditionals via the so-called Ramsey test. In the first part of the present note this test is studied in the “limiting case” where the theory being revised is inconsistent, and it is shown that this case manifests an intrinsic incompatibility between the Ramsey test and the AGM postulate of “success”. The p...... hiện toàn bộ
Infinite Forcing and the Generic Multiverse
Studia Logica - Tập 108 - Trang 277-290 - 2019
In this article we present a technique for selecting models of set theory that are complete in a model-theoretic sense. Specifically, we will apply Robinson infinite forcing to the collections of models of ZFC obtained by Cohen forcing. This technique will be used to suggest a unified perspective on generic absoluteness principles.
The Logical Structure of Scientific Explanation and Prediction: Planetary Orbits in a Sun’s Gravitational Field
Studia Logica - Tập 95 Số 1 - Trang 207-232 - 2010
We present a logically detailed case-study of explanation and prediction in Newtonian mechanics. The case in question is that of a planet’s elliptical orbit in the Sun’s gravitational field. Care is taken to distinguish the respective contributions of the mathematics that is being applied, and of the empirical hypotheses that receive a mathematical formulation. This enables one to appreciate how i...... hiện toàn bộ
Relevant implication and the weak deduction theorem
Studia Logica - Tập 46 - Trang 239-245 - 1987
It is shown that the implicational fragment of Anderson and Belnap's R, i.e. Church's weak implicational calculus, is not uniquely characterized by MP (modus ponens), US (uniform substitution), and WDT (Church's weak deduction theorem). It is also shown that no unique logic is characterized by these, but that the addition of further rules results in the implicational fragment of R. A similar resul...... hiện toàn bộ
Cut-Elimination: Syntax and Semantics
Studia Logica - Tập 102 - Trang 1217-1244 - 2014
In this paper we first give a survey of reductive cut-elimination methods in classical logic. In particular we describe the methods of Gentzen and Schütte-Tait from the abstract point of view of proof reduction. We also present the method CERES (cut-elimination by resolution) which we classify as a semi-semantic method. In a further section we describe the so-called semantic methods. In the second...... hiện toàn bộ
Grishin Algebras and Cover Systems for Classical Bilinear Logic
Studia Logica - Tập 99 - Trang 203-227 - 2011
Grishin algebras are a generalisation of Boolean algebras that provide algebraic models for classical bilinear logic with two mutually cancelling negation connectives. We show how to build complete Grishin algebras as algebras of certain subsets (“propositions”) of cover systems that use an orthogonality relation to interpret the negations. The variety of Grishin algebras is shown to be closed und...... hiện toàn bộ
Tổng số: 2,253
- 1
- 2
- 3
- 4
- 5
- 6
- 10