This paper discusses the generalization of deenite Horn programs beyond the ordering of logical implication. Since the seminal paper on generalization of clauses based on subsumption, there are various extensions in this area. Especially in inductive logic programming(ILP), people are using various methods that approximate logical implication, such as inverse resolution(IR), relative least gene...

0038-1101/$ see front matter 2013 Elsevier Ltd. A http://dx.doi.org/10.1016/j.sse.2013.02.017 ⇑ Corresponding author. E-mail addresses: [email protected] (H iue.tuwien.ac.at (T. Windbacher), [email protected] [email protected] (S. Selberherr). As the feature size of CMOS components scales down, the standby power losses due to high leakage currents have become a top concern for moder...

The paper presents a non-monotonic inference relation on a language containing a conditional that satisfies the Ramsey Test. The logic is a weakening of classical logic and preserves many of the ‘paradoxes of implication’ associated with the material implication. It is argued, however, that once one makes the proper distinction between supposing that something is the case and accepting that it ...

Basin, Clavel, and Meseguer showed in [1] that membership equational logic is a good metalogical framework because of its initial models and support of reflective reasoning. A development and an application of those ideas was presented later in [4]. Here we further extend the metalogical reasoning principles proposed there to consider classes of parameterized theories and apply this reflective ...

We introduce a new formal logic, called equality propositional logic. It has two basic connectives, $boldsymbol{wedge}$ (conjunction) and $equiv$ (equivalence). Moreover, the $Rightarrow$ (implication) connective can be derived as $ARightarrow B:=(Aboldsymbol{wedge}B)equiv A$. We formulate the equality propositional logic and demonstrate that the resulting logic has reasonable properties such a...

the topic of “trilogical denotations” (al-dalalat al-thalath) appears in avicenna logic system following the development of the discourse on “terms subject” (al-mabahith al-alfad) in his system. it was avicenna, who, for the first time, paid more attention to this subject and was responsible for its extended discussion. among the issues to which he addresses is the one on trilogical denotations...

The purpose of this paper is to give a relevance-theoretic account of certain 'non-basic' indicative conditionals. There has been a claim (e.g. Grice 1989) that natural language if is semantically identical with material implication in logic. This approach runs into some problems, one of which is that some natural-language conditionals do not appear to involve the required truth-functional rela...

Bi-intuitionistic logic is the conservative extension of intuitionistic logic with a connective dual to implication. It is sometimes presented as a symmetric constructive subsystem of classical logic. In this paper, we compare three sequent calculi for bi-intuitionistic propositional logic: (1) a basic standard-style sequent calculus that restricts the premises of implication-right and exclusio...

In this paper, a new higher-level action language called H Simple (R) is introduced. Language H Simple (R) is based on (locally) stratiied logic program Apt et al., 1988] and can treat concurrent actions and continuous changes. Also, it can handle implication rules (ramiication) under the implication restriction. This work is the extension of Language H Hayashi, 1996] which can handle only a di...