The representation of Takeuti's\begin{array}{*{20}c} \parallel \\ \_ \\ \end{array} -operator

Gaisi Takeuti has recently proposed a new operation on orthomodular latticesL, \(\begin{array}{*{20}c} \parallel \\ \_ \\ \end{array} \) :P(L)»L. The properties of \(\begin{array}{*{20}c} \parallel \\ \_ \\ \end{array} \) suggest that the value of \(\begin{array}{*{20}c} \parallel \\ \_ \\ \end{array} \) (A) (A) \( \subseteq \) L) corresponds to the degree in which the elements ofA behave classically. To make this idea precise, we investigate the connection between structural properties of orthomodular latticesL and the existence of two-valued homomorphisms onL.     

Disjunctions in closure spaces

The main result of this paper is the following theorem: a closure space X has an 〈α, δ, Q〉-regular base of the power \(\mathfrak{n}\) iff X is Q-embeddable in \(B_{\alpha ,\delta }^\mathfrak{n} \) It is a generalization of the following theorems:

1. Stone representation theorem for distributive lattices (α = 0, δ = ω, Q = ω),
2. universality of the Alexandroff's cube for T ₀-topological spaces (α = ω, δ = ∞, Q = 0),
3. universality of the closure space of filters in the lattice of all subsets for 〈α, δ〉-closure spaces (Q = 0).

By this theorem we obtain some characterizations of the closure space \(F_\mathfrak{m} \) given by the consequence operator for the classical propositional calculus over a formalized language of the zero order with the set of propositional variables of the power \(\mathfrak{m}\) . In particular we prove that a countable closure space X is embeddable with finite disjunctions preserved into F _ω iff X is a consistent closure space satisfying the compactness theorem and X contains a 〈0, ω〉-base consisting of ω-prime sets. This paper is a continuation of [7], [2] and [3].     

Finite axiomatization for some intermediate logics

LetN. be the set of all natural numbers (except zero), and letD _n ^* = {k ∈N ∶k|n} ∪ {0} wherek¦n if and only ifn=k.x f or somex∈N. Then, an ordered setD _n ^* = 〈D _n ^* , ? _n , wherex? _ny iffx¦y for anyx, y∈D _n ^* , can easily be seen to be a pseudo-boolean algebra. In [5], V.A. Jankov has proved that the class of algebras {D _n ^* ∶n∈B}, whereB =,{k ∈N∶ ? \(\mathop \exists \limits_{n \in N} \) (n > 1 ≧n ² k)is finitely axiomatizable. The present paper aims at showing that the class of all algebras {D _n ^* ∶n∈B} is also finitely axiomatizable. First, we prove that an intermediate logic defined as follows: $$LD = Cn(INT \cup \{ p_3 \vee [p_3 \to (p_1 \to p_2 ) \vee (p_2 \to p_1 )]\} )$$ finitely approximatizable. Then, defining, after Kripke, a model as a non-empty ordered setH = 〈K, ?〉, and making use of the set of formulas true in this model, we show that any finite strongly compact pseudo-boolean algebra ? is identical with. the set of formulas true in the Kripke modelH _B = 〈P(?), ?〉 (whereP(?) stands for the family of all prime filters in the algebra ?). Furthermore, the concept of a structure of divisors is defined, and the structure is shown to beH D _n ^* = 〈P (D _n ^* ), ?〉for anyn∈N. Finally, it is proved that for any strongly compact pseudo-boolean algebraU satisfying the axiomp ₃∨ [p ₃→(p₁→p₂)∨(p₂→p₁)] there is a structure of divisorsD _* ⁿ such that it is possible to define a strong homomorphism froomiH D _n ^* ontoH D _U . Exploiting, among others, this property, it turns out to be relatively easy to show that \(LD = \mathop \cap \limits_{n \in N} E(\mathfrak{D}_n^* )\) .     

Inverse Images of Box Formulas in Modal Logic

We investigate, for several modal logics but concentrating on KT, KD45, S4 and S5, the set of formulas B for which ${\square B}$ is provably equivalent to ${\square A}$ for a selected formula A (such as p, a sentence letter). In the exceptional case in which a modal logic is closed under the (‘cancellation’) rule taking us from ${\square C \leftrightarrow \square D}$ to ${C \leftrightarrow D}$ , there is only one formula B, to within equivalence, in this inverse image, as we shall call it, of ${\square A}$ (relative to the logic concerned); for logics for which the intended reading of “ ${\square}$ ” is epistemic or doxastic, failure to be closed under this rule indicates that from the proposition expressed by a knowledge- or belief-attribution, the propositional object of the attitude in question cannot be recovered: arguably, a somewhat disconcerting situation. More generally, the inverse image of ${\square A}$ may comprise a range of non-equivalent formulas, all those provably implied by one fixed formula and provably implying another—though we shall see that for several choices of logic and of the formula A, there is not even such an ‘interval characterization’ of the inverse image (of ${\square A}$ ) to be found.     

Actuality in Propositional Modal Logic

We show that the actuality operator A is redundant in any propositional modal logic characterized by a class of Kripke models (respectively, neighborhood models). Specifically, we prove that for every formula ${\phi}$ in the propositional modal language with A, there is a formula ${\psi}$ not containing A such that ${\phi}$ and ${\psi}$ are materially equivalent at the actual world in every Kripke model (respectively, neighborhood model). Inspection of the proofs leads to corresponding proof-theoretic results concerning the eliminability of the actuality operator in the actuality extension of any normal propositional modal logic and of any “classical” modal logic. As an application, we provide an alternative proof of a result of Williamson’s to the effect that the compound operator A□ behaves, in any normal logic between T and S5, like the simple necessity operator □ in S5.     

Generalization of Scott's formula for retractions from generalized Alexandroff's cube

In the paper [2] the following theorem is shown: Theorem (Th. 3,5, [2]), If α=0 or δ=∞ or α?δ, then a closure space X is an absolute extensor for the category of 〈α, δ〉 -closure spaces iff a contraction of X is the closure space of all 〈α, δ〉-filters in an 〈α, δ〉-semidistributive lattice. In the case when α=ω and δ=∞, this theorem becomes Scott's theorem: Theorem ([7]). A topological space X is an absolute extensor for the category of all topological spaces iff a contraction of X is a topological space of “Scott's open sets” in a continuous lattice. On the other hand, when α=0 and δ=ω, this theorem becomes Jankowski's theorem: Theorem ([4]). A closure space X is an absolute extensor for the category of all closure spaces satisfying the compactness theorem iff a contraction of X is a closure space of all filters in a complete Heyting lattice. But for separate cases of α and δ, the Theorem 3.5 from [2] is proved using essentialy different methods. In this paper it is shown that this theorem can be proved using, for retraction, one uniform formula. Namely it is proved that if α= 0 or δ= ∞ or α ? δ and \(F_{\alpha ,\delta } \left( L \right) \subseteq B_{\alpha ,\delta }^\mathfrak{n} \) and if L is an 〈α, δ〉-semidistributive lattice, then the function $$r:{\text{ }}B_{\alpha ,\delta }^\mathfrak{n} \to F_{\alpha ,\delta } \left( L \right)$$ such that for x ε ? ( \(\mathfrak{n}\) ): (*) $$r\left( x \right) = inf_L \left\{ {l \in L|\left( {\forall A \subseteq L} \right)x \in C\left( A \right) \Rightarrow l \in C\left( A \right)} \right\}$$ defines retraction, where C is a proper closure operator for \(B_{\alpha ,\delta }^\mathfrak{n} \) . It is also proved that the formula (*) defines retraction for all 〈α, δ〉, whenever L is an 〈α, δ〉 -pseudodistributive lattice. Moreover it is proved that when α=ω and δ=∞, the formula (*) defines identical retraction to the formula given in [7], and when α = 0 and δ=ω, the formula (*) defines identical retraction to the formula given in [4].     

The sampling distribution ofd′

The distribution of sample $\hat d's$ , although mathematically intractable, can be tabulated readily by computer. Such tabulations reveal a number of interesting properties of this distribution, including: (1) sample $\hat d's$ are biased, with an expected value that can be higher or lower than the true value, depending on the sample size, the true value itself, and the convention adopted for handling cases in which the sample $\hat d'$ is undefined; (2) the variance of $\hat d'$ also depends on the convention adopted for handling cases in which the sample $\hat d'$ is undefined and is in some cases poorly approximated by the standard approximation formula, (3) the standard formula for a confidence interval for $\hat d'$ is quite accurate with at least 50–100 trials per condition, but more accurate intervals can be obtained by direct computation with smaller samples.     

Probability Propagation in Generalized Inference Forms

Probabilistic inference forms lead from point probabilities of the premises to interval probabilities of the conclusion. The probabilistic version of Modus Ponens, for example, licenses the inference from \({P(A) = \alpha}\) and \({P(B|A) = \beta}\) to \({P(B)\in [\alpha\beta, \alpha\beta + 1 - \alpha]}\) . We study generalized inference forms with three or more premises. The generalized Modus Ponens, for example, leads from \({P(A_{1}) = \alpha_{1}, \ldots, P(A_{n})= \alpha_{n}}\) and \({P(B|A_{1} \wedge \cdots \wedge A_{n}) = \beta}\) to an according interval for P(B). We present the probability intervals for the conclusions of the generalized versions of Cut, Cautious Monotonicity, Modus Tollens, Bayes’ Theorem, and some SYSTEM O rules. Recently, Gilio has shown that generalized inference forms “degrade”—more premises lead to less precise conclusions, i.e., to wider probability intervals of the conclusion. We also study Adam’s probability preservation properties in generalized inference forms. Special attention is devoted to zero probabilities of the conditioning events. These zero probabilities often lead to different intervals in the coherence and the Kolmogorov approach.     

Algebraic Functions

Let A be an algebra. We say that the functions f ₁, . . . , f _m : A ⁿ ?? A are algebraic on A provided there is a finite system of term-equalities ${{\bigwedge t_{k}(\overline{x}, \overline{z}) = s_{k}(\overline{x}, \overline{z})}}$ satisfying that for each ${{\overline{a} \in A^{n}}}$ , the m-tuple ${{(f_{1}(\overline{a}), \ldots , f_{m}(\overline{a}))}}$ is the unique solution in A ^m to the system ${{\bigwedge t_{k}(\overline{a}, \overline{z}) = s_{k}(\overline{a}, \overline{z})}}$ . In this work we present a collection of general tools for the study of algebraic functions, and apply them to obtain characterizations for algebraic functions on distributive lattices, Stone algebras, finite abelian groups and vector spaces, among other well known algebraic structures.     

Dependence and Independence

We introduce an atomic formula ${\vec{y} \bot_{\vec{x}}\vec{z}}$ intuitively saying that the variables ${\vec{y}}$ are independent from the variables ${\vec{z}}$ if the variables ${\vec{x}}$ are kept constant. We contrast this with dependence logic ${\mathcal{D}}$ based on the atomic formula = ${(\vec{x}, \vec{y})}$ , actually equivalent to ${\vec{y} \bot_{\vec{x}}\vec{y}}$ , saying that the variables ${\vec{y}}$ are totally determined by the variables ${\vec{x}}$ . We show that ${\vec{y} \bot_{\vec{x}}\vec{z}}$ gives rise to a natural logic capable of formalizing basic intuitions about independence and dependence. We show that ${\vec{y} \bot_{\vec{x}}\vec{z}}$ can be used to give partially ordered quantifiers and IF-logic an alternative interpretation without some of the shortcomings related to so called signaling that interpretations using = ${(\vec{x}, \vec{y})}$ have.     

The degrees of maximality of the intuitionistic propositional logic and of some of its fragments

Professor Ryszard Wójcicki once asked whether the degree of maximality of the consequence operationC determined by the theorems of the intuitionistic propositional logic and the detachment rule for the implication connective is equal to \(2^{2^\aleph 0} \) ? The aim of the present paper is to give the affirmative answer to the question. More exactly, it is proved here that the degree of maximality ofC _Ψ — theΨ — fragment ofC, is equal to \(2^{2^\aleph 0} \) , for every such that → εΨ.     

Some theorems on structural entailment relations

The classesMatr( \( \subseteq \) ) of all matrices (models) for structural finitistic entailments \( \subseteq \) are investigated. The purpose of the paper is to prove three theorems: Theorem I.7, being the counterpart of the main theorem from Czelakowski [3], and Theorems II.2 and III.2 being the entailment counterparts of Bloom's results [1]. Theorem I.7 states that if a classK of matrices is adequate for \( \subseteq \) , thenMatr( \( \subseteq \) ) is the least class of matrices containingK and closed under the formation of ultraproducts, submatrices, strict homomorphisms and strict homomorphic pre-images. Theorem II.2 in Section II gives sufficient and necessary conditions for a structural entailment to be finitistic. Section III contains theorems which characterize finitely based entailments.     

On Birkhoff’s Common Abstraction Problem

In his milestone textbook Lattice Theory, Garrett Birkhoff challenged his readers to develop a ??common abstraction?? that includes Boolean algebras and latticeordered groups as special cases. In this paper, after reviewing the past attempts to solve the problem, we provide our own answer by selecting as common generalization of ${\mathcal{B} \mathcal{A}}$ and ${\mathcal{L} \mathcal{G}}$ their join ${\mathcal{B} \mathcal{A} \vee \mathcal{L} \mathcal{G}}$ in the lattice of subvarieties of ${\mathcal{F} \mathcal{L}}$ (the variety of FL-algebras); we argue that such a solution is optimal under several respects and we give an explicit equational basis for ${\mathcal{B} \mathcal{A} \vee \mathcal{L} \mathcal{G}}$ relative to ${\mathcal{F} \mathcal{L}}$ . Finally, we prove a Holland-type representation theorem for a variety of FL-algebras containing ${\mathcal{B} \mathcal{A} \vee \mathcal{L} \mathcal{G}}$ .     

Neuter is not Common in Dutch: Eye Movements Reveal Asymmetrical Gender Processing

Native speakers of languages with transparent gender systems can use gender cues to anticipate upcoming words. To examine whether this also holds true for a non-transparent two-way gender system, i.e. Dutch, eye movements were monitored as participants followed spoken instructions to click on one of four displayed items on a screen (e.g., Klik op $de_{COM}$ rode appel $_{COM}$ , ‘Click on the $_\mathrm{COM}$ red apple $_\mathrm{COM}$ ’). The items contained the target, a colour- and/or gender-matching competitor, and two unrelated distractors. A mixed-effects regression analysis revealed that the presence of a colour-matching and/or gender-matching competitor significantly slowed the process of finding the target. The gender effect, however, was only observed for common nouns, reflecting the fact that neuter gender-marking cannot disambiguate as all Dutch nouns become neuter when used as diminutives. The gender effect for common nouns occurred before noun onset, suggesting that gender information is, at least partially, activated automatically before encountering the noun.     

Decidability of General Extensional Mereology

The signature of the formal language of mereology contains only one binary predicate P which stands for the relation “being a part of”. Traditionally, P must be a partial ordering, that is, ${\forall{x}Pxx, \forall{x}\forall{y}((Pxy\land Pyx)\to x=y)}$ and ${\forall{x}\forall{y}\forall{z}((Pxy\land Pyz)\to Pxz))}$ are three basic mereological axioms. The best-known mereological theory is “general extensional mereology”, which is axiomatized by the three basic axioms plus the following axiom and axiom schema: (Strong Supplementation) ${\forall{x}\forall{y}(\neg Pyx\to \exists z(Pzy\land \neg Ozx))}$ , where Oxy means ${\exists z(Pzx\land Pzy)}$ , and (Fusion) ${\exists x\alpha \to \exists z\forall y(Oyz\leftrightarrow \exists x(\alpha \land Oyx))}$ , for any formula α where z and y do not occur free. In this paper, I will show that general extensional mereology is decidable, and will also point out that the decidability of the first-order approximation of the theory of complete Boolean algebras can be shown in the same way.