Experimental studies have developed, conducted, and evaluated classroom interventions for foreign language anxiety reduction. However, various characteristics of those classroom interventions make it difficult to synthesize the findings and apply them to practice. We conducted what is, to the best of our knowledge, the first systematic review on educational interventions for FLA. Six criteria were established for inclusion of studies. Using English keywords, we identified 854 potentially eligible studies through ProQuest and Scopus, 40 of which were finally included. All included (...) studies were published from 2007 to 2020. The studies differed in type of intervention, duration of intervention, and scale to measure FLA. Our systematic review resulted in seven features of classroom interventions, categorized as student–student interactions, student-teacher interactions, self-management, and mood boosters; we also categorized interventions as either individual or interactional. (shrink)

The purpose of this paper is to argue that the hybrid formalism fits naturally in the context of David Lewis’s counterfactual logic and that its introduction into this framework is desirable. This hybridization enables us to regard the inference “The pig is Mary; Mary is pregnant; therefore the pig is pregnant” as a process of updating local information (which depends on the given situation) by using global information (independent of the situation). Our hybridization also has the following technical advantages: (i) (...) it preserves the completeness and decidability of Lewis’s logic; (ii) it allows us to characterize the Limit Assumption as a proof-rule with some side-conditions; and (iii) it enables us to establish a general Kripke completeness result by using the proof-rule corresponding to the Limit Assumption. Keywords Counterfactual logic - David Lewis - Contextually definite description - Hybrid logic - Arthur Prior - The limit assumption - Strong completeness - Decidability - Bisimulation - Pure completeness. (shrink)

Genome maintenance requires various nucleoid-associated factors in prokaryotes. Among them, the SMC protein has been thought to play a static role in the organization and segregation of the chromosome during cell division. However, recent studies have shown that the bacterial SMC is required to align left and right arms of the emerging chromosome and that the protein dynamically travels from origin to Ter region. A rod form of the SMC complex mediates DNA bridging and has been recognized as a machinery (...) responsible for DNA loop extrusion, like eukaryotic condensin or cohesin complexes, which act as chromosome organizers. Attention is now turning to how the prototype of the complex is loaded on the entry site and translocated on chromosomal DNA, explaining its overall conformational changes at atomic levels. Here, we review and highlight recent findings concerning the prokaryotic SMC complex and discuss possible mechanisms from the viewpoint of protein architecture. Recent studies show dynamic movements of the prokaryotic SMC protein complex: initial loading, translocation on DNA for bacterial chromosome organization. The recent structural models of the protein also provide a new vision for the structure-function relationship. (shrink)

This paper deals with two main topics: One is a semantical investigation for a bimodal language with a modal operator \blacksquare associated with the intersection of the accessibility relation R and the inequality ≠. The other is a generalization of some of the former results to general extended languages with modal operators. First, for our language L\sb{\square\blacksquare}, we prove that Segerberg's theorem (equivalence between finite frame property and finite model property) fails and establish both van Benthem-style and Goldblatt-Thomason-style characterizations. We (...) extract the notion of \blacksquare-realizer (a generalization of bulldozing) as an essence from the proofs of our results. Second, we generalize the notion of \blacksquare-realizer and prove quite general versions of these semantical characterization results. The known and previously unknown characterization results for almost all of the languages extended with modal operators already proposed will be immediate corollaries. (shrink)

正しいから証明できるのか、証明できるから正しいのか。数学にとって証明とは何か、正しさとは何なのかは数学基礎論の根本的な問題である。様相論理を軸とした、証明と真理に関わる数学基礎論の古典的な結果から最先 端の議論までを解説した。.

The logic of the hide and seek game $$\textbf{LHS}$$ was proposed to capture interactions between agents in pursuit-evasion environments. In this paper, we explore a hybrid extension of $$\textbf{LHS}$$ and show that such an extension is beneficial in several aspects. We will show that it improves the technical properties of the resulting logical system, and expands the potential applications of the system. Specifically, we will investigate the expressive power of the hybrid logic of the hide and seek game $${\mathcal {H}}(\textbf{LHS})$$ (...) and its crucial fragment $${\mathcal {H}}(\textbf{LHS}^{-})$$, at both model and frame levels. We will present complete Hilbert-style proof systems for both the logics $${\mathcal {H}}(\textbf{LHS}^{-})$$ and $${\mathcal {H}}(\textbf{LHS})$$, which in fact provides a solution to a known open problem. (shrink)

V članku poskušam analizirati nekatere značilne diskurze posvečene »neuspehu avantgarde« ter tako osvetliti latentno strukturo zanikanja / potlačitve / izključitve, na kateri leži temelj zahodne moderne umetnosti, se pravi strukturo, ki je bila razvita kot druga plat samooblikovanja umetnosti v dobi, ko je nastal mit o njeni avtonomiji. Odkar so moderne »umetnosti« padle v rodovno kategorijo »Umetnost«, ta daje videz, da je postajala vedno bolj obrobna, da pa je hkrati pridobivala v zameno več privilegijev. Da bi se lahko vzpostavila v (...) sublimiranem območju visoke kulture, je bila umetnost morda prisiljena zavreči vse, česar ni bilo mogoče udobno uskladiti z njeno samodefinicijo. Medtem ko so dualizem med »visoko« in »nizko« kulturo prenehali utemeljevati v realnosti, so izumili nov pripomoček, da bi zavaroval navidezne meje, ter da bi pospešil proces avtonomizacije umetnosti. Modernizem v tem primeru služi kot bolj izpopolnjen ter okrepljeni vzvod potlačitve; vsebuje tudi uporniško avantgardo, ki služi za začasno sprostitev potlačenega. Medsebojna povezanost med modernizmom in avantgardo se bo tako pokazala kot spopad med estetiko nadzora in estetiko anarhije. (shrink)

One of the problems we face in many-valued logic is the difficulty of capturing the intuitive meaning of the connectives introduced through truth tables. At the same time, however, some logics have nice ways to capture the intended meaning of connectives easily, such as four-valued logic studied by Belnap and Dunn. Inspired by Dunn’s discovery, we first describe a mechanical procedure, in expansions of Belnap-Dunn logic, to obtain truth conditions in terms of the behavior of the Truth and the False, (...) which gives us intuitive readings of connectives, out of truth tables. Then, we revisit the notion of functional completeness, which is one of the key notions in many-valued logic, in view of Dunn’s idea. More concretely, we introduce a generalized notion of functional completeness which naturally arises in the spirit of Dunn’s idea, and prove some fundamental results corresponding to the classical results proved by Post and Słupecki. (shrink)

This paper studies a combined system of intuitionistic and classical propositional logic from proof-theoretic viewpoints. Based on the semantic treatment of Humberstone (J Philos Log 8:171–196, 1979) and del Cerro and Herzig (Frontiers of combining systems: FroCoS, Springer, 1996), a sequent calculus \(\textsf{G}(\textbf{C}+\textbf{J})\) is proposed. An approximate idea of obtaining \(\textsf{G}(\textbf{C}+\textbf{J})\) is adding rules for classical implication on top of the intuitionistic multi-succedent sequent calculus by Maehara (Nagoya Math J 7:45–64, 1954). However, in the semantic treatment, some formulas do not (...) satisfy heredity, which leads to the necessity of a restriction on the right rule for intuitionistic implication to keep the soundness of the calculus. The calculus \(\textsf{G}(\textbf{C}+\textbf{J})\) enjoys cut elimination and Craig interpolation, whose detailed proofs are described in this paper. Cut elimination enables us to show the decidability of this combination both directly and syntactically. This paper also employs a canonical model argument to establish the strong completeness of Hilbert system \(\mathbf {C+J}\) proposed by del Cerro and Herzig (Frontiers of combining systems: FroCoS, Springer, 1996). (shrink)

This paper shows Hilbert system (C+J)-, given by del Cerro and Herzig (1996) is semantically incomplete. This system is proposed as a proof theory for Kripke semantics for a combination of intuitionistic and classical propositional logic, which is obtained by adding the natural semantic clause of classical implication into intuitionistic Kripke semantics. Although Hilbert system (C+J)- contains intuitionistic modus ponens as a rule, it does not contain classical modus ponens. This paper gives an argument ensuring that the system (C+J)- is (...) semantically incomplete because of the absence of classical modus ponens. Our method is based on the logic of paradox, which is a paraconsistent logic proposed by Priest (1979). (shrink)