Tunable Intermediate-Logic Ternary Circuits based on MoSe2-WSe2 Heterojunction

Van der Waals (vdW) heterojunctions, which consist of p-type and n-type semiconductors, have provided new features for transition metal dichalcogenides (TMDs). In this work, a negative differential transconductance (NDT) transistor based on a MoSe2-WSe2 heterojunction (MoSe2-WSe2 H-TR) is proposed. The MoSe2-WSe2 H-TR provides desirable device characteristics for ternary circuit operation with a switching behavior of off-state / p-type turn-on / NDT region / p-type turn-on. As a result, a 100% output voltage (VOUT) swing inverter can be achieved in a ternary inverter, which consists of the proposed MoSe2-WSe2 vdW-H-TR and a MoS2 floating-gate transistor. Furthermore, a tunable intermediate-logic ternary circuit operation is demonstrated by controlling the threshold voltage (VTH) in a pull-down n-type MoS2 floating-gate transistor. We also investigated that a light-induced operation on the MoSe2-WSe2 vdW-H-TR offers control of the VOUT amplitude at the intermediate-logic state. Based on the proposed MoSe2-WSe2 vdW-H-TR, this work suggests a strategy to obtain a tunable ternary circuit, thus providing a new concept of heterojunction electronics using layered TMDs.

On the Negative Disjunction Property

In the field of intermediate logics, the concept of the disjunction property (DP) plays an important part. Lloyd Humberstone has drawn my attention to an analogious principle called the Negative Disjunction Property ( NDP) which applies when the disjuncts involved are negated. The author investigates the NDP in the case of intermediate propositional logics. Key words: intermediate logic, disjunction property, negative disjunction property, Heyting algebra, Jankov

On modal components of the S4-logics

We consider the representation of each extension of the modal logic S4 as sum of two components. The first component in such a representation is always included in Grzegorczyk logic and hence contains "modal resources" of the logic in question, while the second one uses essentially the resources of a corresponding intermediate logic. We prove some results towards the conjecture that every S4-logic has a representation with the least component of the first kind.

Propositional theories are strongly equivalent to logic programs

This paper presents a property of propositional theories under the answer sets semantics (called Equilibrium Logic for this general syntax): any theory can always be reexpressed as a strongly equivalent disjunctive logic program, possibly with negation in the head. We provide two different proofs for this result: one involving a syntactic transformation, and one that constructs a program starting from the countermodels of the theory in the intermediate logic of here-and-there.

An algebraic approach to intuitionistic connectives

It is shown that axiomatic extensions of intuitionistic propositional calculus defining univocally new connectives, including those proposed by Gabbay, are strongly complete with respect to valuations in Heyting algebras with additional operations. In all cases, the double negation of such a connective is equivalent to a formula of intuitionistic calculus. Thus, under the excluded third law it collapses to a classical formula, showing that this condition in Gabbay's definition is redundant. Moreover, such connectives can not be interpreted in all Heyting algebras, unless they are already equivalent to a formula of intuitionistic calculus. These facts relativize to connectives over intermediate logics. In particular, the intermediate logic with values in the chain of length n may be “completed” conservatively by adding a single unary connective, so that the expanded system does not allow further axiomatic extensions by new connectives.