Deep inference deductive systems for classical logic provide exponentially shorter proofs than the sequent calculus systems, however with the cost of higher nondeterminism and larger search space in proof search. We report on our ongoing work on proof search with deep inference deductive systems. We present systems for classical logic where nondeterminism in proof search is reduced by constrain...

As security policies get larger and more complex, analysis tools that help users understand and validate security policies are becoming more important. This paper explores the use of deductive spreadsheets for security policy analysis. Deductive spreadsheets combine the power of deductive rules (for specifying policies and analyses) with the usability of spreadsheets. This approach is introduce...

In the paper, the authors discuss two kinds of consequence operations characterized axiomatically. The first one are consequence operations of the type Cn that, in the intuitive sense, are infallible operations, always leading from accepted (true) sentences of a deductive system to accepted (true) sentences of the deductive system (see Tarski in Monatshefte für Mathematik und Physik 37:361–404,...

Copyright © 2003, Idea Group Inc. ABSTRACT In this chapter, we propose the use of first-order logic, in the form of deductive database rules, as a query language for XML data, and we present X-DEVICE, an extension of the deductive object-oriented database system DEVICE, for storing and querying XML data. XML documents are stored into the OODB by automatically mapping the DTD to an object schema...

In this paper, a novel fractional-order hyper-chaotic system is proposed. By drawing the phase trajectory and Lyapunov exponent spectrum, its dynamic characteristics are analyzed. The simulation results show that the fractional-order hyper-chaotic system has hyper-chaotic characteristic. Then, image encryption implementation based on the fractional-order hyper-chaotic system is investigated. An...

NASA’s Hyper-X Research Vehicle will provide a unique opportunity to obtain data on an operational airframe integrated scramjet propulsion system at true flight conditions. The airframe integrated nature of the scramjet engine with the Hyper-X vehicle results in a strong coupling effect between the propulsion system operation and the airframe’s basic aerodynamic characteristics. Comments on gen...

In this paper we describe our experiment using an extension of the deductive database system LDL ++ AOTZ93, AOZ93, AO93] to express situations that need spatio-temporal reasoning in Sea monitoring. The temporal extension we used is LDLT DM94], a temporal database proposal that integrates the expressiveness and deductive power of the logic language LDL NT88] with the possibility to perform tempo...