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:
Sur l'axiome de Zermelo et son rôle dans les mathématiques contemporaines
Studia Logica - Tập 24 - Trang 178-178 - 1969
Imperatives: a Judgemental Analysis
Studia Logica - Tập 100 - Trang 879-905 - 2012
This paper proposes a framework for formalising intuitions about the behaviour of imperative commands. It seeks to capture notions of satisfaction and coherence. Rules are proposed to express key aspects of the general logical behaviour of imperative constructions. A key objective is for the framework to allow patterns of behaviour to be described while avoiding making any commitments about how co......
Algebraic logic for classical conjunction and disjunction
Studia Logica - Tập 52 - Trang 181-181 - 1993
Анализ и оБоБщение метода лроверки логических формул диаграммами веннч
Studia Logica - Tập 1 - Trang 214-244 - 1953
Coherence and Computational Complexity of Quantifier-free Dependence Logic Formulas
Studia Logica - Tập 101 - Trang 267-291 - 2013
We study the computational complexity of the model checking problem for quantifier-free dependence logic
$${(\mathcal{D})}$$
formulas. We characterize three thresholds in the complexity: logarithmic space (LOGSPACE), non-deterministic logarithmic space (NL) and non-deterministic polynomial time (NP).
Tableaus for many-valued modal logic
Studia Logica - Tập 55 - Trang 63-87 - 1995
We continue a series of papers on a family of many-valued modal logics, a family whose Kripke semantics involves many-valued accessibility relations. Earlier papers in the series presented a motivation in terms of a multiple-expert semantics. They also proved completeness of sequent calculus formulations for the logics, formulations using a cut rule in an essential way. In this paper a novel cut-f......
Tŀumaczenie w sensie psychologicznym i metodologicznym
Studia Logica - Tập 9 Số 1 - Trang 245-256 - 1960
An extension of the Łukasiewicz logic to the modal logic of quantum mechanics
Studia Logica - Tập 37 - Trang 149-155 - 1978
An attempt is made to include the axioms of Mackey for probabilities of experiments in quantum mechanics into the calculusŁ
x0
of Łukasiewicz. The obtained calculusŁQ contains an additional modal signQ and four modal rules of inference. The propositionQx is read “x is confirmed”. The most specific rule of inference may be read: for comparable observations implic......
Postponement of $$\mathsf {raa}$$ and Glivenko’s Theorem, Revisited
Studia Logica - Tập 107 Số 1 - Trang 109-144 - 2019
We study how to postpone the application of the reductio ad absurdum rule ( $$\mathsf {raa}$$ ) in classical natural deduction. This technique is connected with two normalization strategies for classical logic, due to Prawitz and Seldin, respectively. We introduce a variant of Seldin’s strategy for the postponement of $$\mathsf {raa}$$ , which induces a negative translation (a variant of Kuroda’s ......
Tổng số: 2,253
- 1
- 2
- 3
- 4
- 5
- 6
- 10