Based on a (total) pre-order on a set, we axiomatize the Egli-Milner order on the power set and show how it is related to the Lewis order. Moreover, w......
A finitely alternative normal tense logic T-n,T-m is a normal tense logic characterized by frames in which every point has at most n future alternativ......
期刊: STUDIA LOGICA, 2020; 108 (2)
Every Berman's variety K-p(q) which is the subvariety of Ockham algebras defined by the equation similar to 2p+qa=similar to qa (p >= 1 and q >=......
期刊: STUDIA LOGICA, 2020; 108 (3)
This article reveals one general scheme for creating counter examples to Bayesian confirmation theory. The reason of the problems is that: in daily li......
期刊: STUDIA LOGICA, 2020; 108 (4)
L-effect algebras are introduced as a class ofL-algebras which specialize to all known generalizations of effect algebras with a-group, the structure ......
期刊: STUDIA LOGICA, 2019; 107 (6)
An endomorphism on an algebra A is said to be strong if it is compatible with every congruence on A; and A is said to have the strong endomorphism ker......
期刊: STUDIA LOGICA, 2019; 107 (2)
A deterministic weakening DW of the Belnap-Dunn four-valued logic BD is introduced to formalize the acceptance and rejection of a proposition at a sta......
期刊: STUDIA LOGICA, 2019; 107 (3)
A moderate belief-disagreement between agents on proposition p means that one agent believes p and the other agent does not. This paper presents two l......
期刊: STUDIA LOGICA, 2019; 107 (4)
We consider, in the context of an MS-algebra L, the ideals I of L that are kernels of L. We characterize two kinds of de Morgan algebras: the class Bo......
期刊: STUDIA LOGICA, 2019; 107 (4)
The global consequence relation of a normal modal logic Lambda is formulated as a global sequent calculus which extends the local sequent theory of La......
The minimal weakening N0 of Belnap-Dunn logic under the polarity semantics for negation as a modal operator is formulated as a sequent system which is......
期刊: STUDIA LOGICA, 2018; 106 (1)
In this paper we show that some orthogeometries, i.e. projective geometries each defined using a ternary collinearity relation and equipped with a bin......
期刊: STUDIA LOGICA, 2018; 106 (1)
The result of an interaction is influenced by its epistemic state, and several epistemic notions are related to multiagent situations. Strong belief-d......
期刊: STUDIA LOGICA, 2018; 106 (3)
A contraction-free and cut-free sequent calculus G3SDM for semi-De Morgan algebras, and a structural-rule-free and single-succedent sequent calculus G......