"Chang'an Prevailing Features" is the inner spirit that integrates temperament of times, national spirit, ideology and aesthetic concept reflected in ancient Chang'an. This article takes as exposition content, uses "unit concept" history ideas, popular pattern cases Chang'an area research object, studies its existence operation methods...

This paper examines the implementation issues arising from introducing universally quantiied goals and some forms of implication goals in a logic programming language. While these constructs are useful in providing a logical approach to lexical scoping, they raise new implementation problems. Since universal and existential quantiiers may appear in mixed order in goals, the uniication operation...

A Heyting algebra is a distributive lattice with implication and a dual $BCK$-algebra is an algebraic system having as models logical systems equipped with implication. The aim of this paper is to investigate the relation of Heyting algebras between dual $BCK$-algebras. We define notions of $i$-invariant and $m$-invariant on dual $BCK$-semilattices and prove that a Heyting semilattice is equiva...

The main condition of the differently implicational inferencealgorithm is reconsidered from a contrary direction, which motivatesa new fuzzy inference strategy, called the double fuzzyimplications-based restriction inference algorithm. New restrictioninference principle is proposed, which improves the principle of thefull implication restriction inference algorithm. Furthermore,focusing on the ...

We define an effective, sound and complete game semantics for HAinf, Intuitionistic Arithmetic with ω-rule. Our semantics is equivalent to the original semantics proposed by Lorentzen [6], but it is based on the more recent notions of ”backtracking” ([5], [2]) and of isomorphism between proofs and strategies ([8]). We prove that winning strategies in our game semantics are tree-isomorphic to th...

The aim of the present paper is to analyze the complexity of strict implication (together with falsum, conjunction and disjunction). We prove that Ladner’s Theorem remains valid when we restrict the language to the strict implication fragment, and that the same holds for Hemaspaandra’s Theorem. As a consequence we have that the validity problem for most standard normal modal logics is the same ...

Recent work has characterized the sum capacity of time-varying/frequency-selective wireless interference networks and X networks within o(log(SNR)), i.e., with an accuracy approaching 100% at high SNR (signal to noise power ratio). In this paper, we seek similar capacity characterizations for wireless networks with relays, feedback, full duplex operation, and transmitter/receiver cooperation th...