A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is
Adopting this point of view, we show that first-order logic is insufficiently expressive to handle important examples of common sense reasoning. ... In this paper we present a novel explanation of the source of indefinite information in common sense reasoning: Indefinite information arises from reports about the world expressed in terms of concepts ... The proof theory for intuitionistic embedded implications is also a straightforward generalization of the proof theory for classical Horn-clause logic [McCarty, 1988b] . ...dblp:conf/ijcai/McCartyM91 fatcat:2ecufuexqncd5bc2crpgjbrjyy
In the definition of C-logics we leave the intuitionistic implication unchanged, therefore, a C-logic meets the paradox of minimal logic if and only if the negation defined via its operator C satisfy the ... The classical logic Lk and the logic of classical refutability Le can be axiomatized modulo intuitionistic logic Li and minimal logic Lj, respectively, via either the Peirce law P or the generalized law ...doi:10.12775/llp.2003.008 fatcat:psrwzg2dnzgaxpaqv2rjrmvf4m
“The paper presents an algorithm for minimization of weakly defined multiargument logic functions based on the method of quasi-implicants reduction. ... In summary, this reviewer finds this to be a worthy tome in the annals of classical network theory. ...
The resulting logic can speak of consistency in more discriminating ways, but introduces new possibilities for trivializing paradoxes. ... We augment LP with a strong conditional operator, to yield a logic we call "strong LP," or LP=>. ... in classical logic. 2 Embeddings of classical theories An intended application of LP ⇒ is in constructing inconsistent theories which prove all the theorems of some classical theory, and none of ...arXiv:1304.6467v1 fatcat:zmdezskmlvhinlxo7ynptuz64i
This paper is a study of circumscription, not in classical logic, as usual, but in intuitionistic logic. ... We first review the intuitionistic circumscription of Horn clause logic programs, which was discussed in previous work, and we then consider the larger class of embedded implications. ... Lin defines a form of partial circumscription in classical logic that is virtually identical to our Definition 6.1 when the embedded implications in &I! are restricted to embedded negations. ...doi:10.1016/0743-1066(93)90036-g fatcat:62rlo2fl2rajjpzu3iwcklo4o4
We present the logic K/2 which is a logic with classical implication and only the left part of classical negation. ... We show that it is possible to define a classical negation into K/2 and that the classical propositional logic K can be translated into this apparently weaker logic. ... , negation and implication is translatable into classical logic with negation and implication only. ...doi:10.1093/jigpal/7.2.145 fatcat:aw4jgdiqhfbfjpbb6kdxuxwhky
Using theorems of mathemati- cal logic, some results about the definability of progressions in minimal action theory are obtained.” ... Summary: “We present a method for translating Horn clauses ex- tended with modalities and embedded implication (which provide reasoning capabilities in a multi-agent situation and hypothetical reasoning ...
We then move on to the computational side and emphasize that Parigot's λµ corresponds to minimal classical logic. A continuation constant must be added to λµ to get full classical logic. ... We give an analysis of various classical axioms and characterize a notion of minimal classical logic that enforces Peirce's law without enforcing Ex Falso Quodlibet. ... Depending on whether EFQ, PL, or both are assumed in minimal logic, we get intuitionistic, minimal classical, or classical logic. ...doi:10.1007/s10990-007-9007-z fatcat:msxempufgnabzgahcdhq3clpm4
In this derived ordering, Kuroda and Krivine are minimal elements. ... Several proof translations of classical mathematics into intuitionistic mathematics have been proposed in the literature over the past century. ... On intuitionistic versus minimal logic More than translating CL into IL, it is well known that some negative translations produce embeddings of CL into minimal logic ML (i.e. intuitionistic logic without ...doi:10.4204/eptcs.47.4 fatcat:y45zb5zhsvdcnge5rxwxc7slxu
(In particular, the same negated formulae are provable in intuitionistic and classical propositional logic.) This result fails if “intuitionistic” is replaced by “minimal” (take A to be = p—>p). ... The authors present an algorithm for the reverse process in this general situation. The set of formulas produced by the algorithm is minimal and complete with respect to implication. ...
Nawaz [in Non-classical logics and their applications to fuzzy subsets (Linz, 1992), 159-217, Kluwer Acad. ... Rasiowa stated without proof that in implicative algebras there is a one-to-one correspon- dence between kernels of epimorphisms and the so-called special implicative filters, and that in the logic whose ...
Popov, An embedding of an implicative fragment of classical logic into an implicative fragment of intuitionistic logic (Russian) (80-83); A. V. ... Vasyukov, Implicative logics, Lambek systems, and exponential multicategories (Rus- sian) (90-118); S. P. Odintsov, On negatively equivalent extensions of minimal logic (Russian) (119-127); V. M. ...
We show that this logic is a generalization of Reiter's default logic  and Gelfond et al.'s disjunctive default logic  in propositional case. ... In this paper, we present a logic R for rule bases by introducing a set of rule connectives. We define both the models and extensions of a rule base. ... The second author is supported in part by a Croucher Senior Research Fellowship and by HK RGC under grant HKUST CERG 616806. ...doi:10.1007/s10472-009-9161-6 fatcat:ve6xpoggbjeyxn2rnhnyigq5am
Lecture Notes in Computer Science
This is done by simultaneously embedding the database and the integrity constraints, which are mutually inconsistent in classical logic, into a theory in annotated predicate calculus -a logic that allows ... In this way, several goals are achieved: (a) A logical specification of the class of all minimal "repairs" of the original database, and the ability to reason about them; (b) The ability to distinguish ... The most useful types of embeddings are those where theories that are inconsistent in classical logic become consistent in APC. ...doi:10.1007/3-540-44957-4_62 fatcat:vduxxjho7fa57aackh2bsjwdlu
In Section 2 of the present article, we consider the Grzegorczyk-style semantics for Le which vividly demonstrates that minimal logic Lj relates to logic of classical refutability Le essentially in the ... Therefore, we may consider minimal logic as a positivistic approximation of logic of classical refutability and suppose that classical logic and Le have common ontological presuppositions except for the ...doi:10.12775/llp.2001.006 fatcat:l5jkrmg5rbeedmu3t7kzmdghn4
« Previous Showing results 1 — 15 out of 61,427 results