Results 1  10
of
65
Logics of Formal Inconsistency
 Handbook of Philosophical Logic
"... 1.1 Contradictoriness and inconsistency, consistency and noncontradictoriness In traditional logic, contradictoriness (the presence of contradictions in a theory or in a body of knowledge) and triviality (the fact that such a theory ..."
Abstract

Cited by 45 (19 self)
 Add to MetaCart
1.1 Contradictoriness and inconsistency, consistency and noncontradictoriness In traditional logic, contradictoriness (the presence of contradictions in a theory or in a body of knowledge) and triviality (the fact that such a theory
A Taxonomy of Csystems
, 2002
"... The logics of formal inconsistency (LFIs) are paraconsistent logics which permit us to internalize the concepts of consistency or inconsistency inside our object language, introducing new operators to talk about them, and allowing us, in principle, to logically separate the notions of contradictorin ..."
Abstract

Cited by 41 (15 self)
 Add to MetaCart
The logics of formal inconsistency (LFIs) are paraconsistent logics which permit us to internalize the concepts of consistency or inconsistency inside our object language, introducing new operators to talk about them, and allowing us, in principle, to logically separate the notions of contradictoriness and of inconsistency. We present the formal definitions of these logics in the context of General Abstract Logics, argue that they in fact represent the majority of all paraconsistent logics existing up to this point, if not the most exceptional ones, and we single out a subclass of them called Csystems, as the LFIs that are built over the positive basis of some given consistent logic. Given precise characterizations of some received logical principles, we point out that the gist of paraconsistent logic lies in the Principle of Explosion, rather than in the Principle of NonContradiction, and we also sharply distinguish these two from the Principle of NonTriviality, considering the next various weaker formulations of explosion, and investigating their interrelations. Subsequently, we present the syntactical formulations of some of the main Csystems based on classical logic, showing how several wellknown logics in the literature can be recast as such a kind of Csystems, and carefully study their properties and shortcomings, showing for instance how they can be used to faithfully
Class Library Implementation of an Open Architecture Knowledge Support System
, 1994
"... Objectoriented class libraries offer the potential for individual researchers to manage the large bodies of code generated in the experimental development of complex interactive systems. This article analyzes the structure of such a class library that supports the rapid prototyping of a wide range ..."
Abstract

Cited by 19 (10 self)
 Add to MetaCart
Objectoriented class libraries offer the potential for individual researchers to manage the large bodies of code generated in the experimental development of complex interactive systems. This article analyzes the structure of such a class library that supports the rapid prototyping of a wide range of systems including collaborative networking, shared documents, hypermedia, machine learning, knowledge acquisition and knowledge representation, and various combinations of these technologies. The overall systems architecture is presented in terms of a heterogeneous collection of systems providing a wide range of application functionalities. Examples are given of group writing, multimedia and knowledgebased systems which are based on combining these functionalities. The detailed design issues of the knowledge representation server component of the system are analyzed in terms of requirements, current stateoftheart, and the underlying theoretical principles that lead to an effective obj...
COMPLEXITY OF EQUATIONS VALID IN ALGEBRAS OF RELATIONS  Part II: Finite axiomatizations.
"... We study algebras whose elements are relations, and the operations are natural "manipulations" of relations. This area goes back to 140 years ago to works of De Morgan, Peirce, Schroder (who expanded the Boolean tradition with extra operators to handle algebras of binary relations). Well known exam ..."
Abstract

Cited by 17 (2 self)
 Add to MetaCart
We study algebras whose elements are relations, and the operations are natural "manipulations" of relations. This area goes back to 140 years ago to works of De Morgan, Peirce, Schroder (who expanded the Boolean tradition with extra operators to handle algebras of binary relations). Well known examples of algebras of relations are the varieties RCAn of cylindric algebras of nary relations, RPEAn of polyadic equality algebras of nary relations, and RRA of binary relations with composition. We prove that any axiomatization, say E, of RCAn has to be very complex in the following sense: for every natural number k there is an equation in E containing more than k distinct variables and all the operation symbols, if 2 ! n ! !. Completely analogous statement holds for the case n !. This improves Monk's famous nonfinitizability theorem for which we give here a simple proof. We prove analogous nonfinitizability properties of the larger varieties SNrnCA n+k . We prove that the complementa...
Algebraic logic, varieties of algebras, and algebraic varieties
, 1995
"... Abstract. The aim of the paper is discussion of connections between the three kinds of objects named in the title. In a sense, it is a survey of such connections; however, some new directions are also considered. This relates, especially, to sections 3, 4 and 5, where we consider a field that could ..."
Abstract

Cited by 13 (5 self)
 Add to MetaCart
Abstract. The aim of the paper is discussion of connections between the three kinds of objects named in the title. In a sense, it is a survey of such connections; however, some new directions are also considered. This relates, especially, to sections 3, 4 and 5, where we consider a field that could be understood as an universal algebraic geometry. This geometry is parallel to universal algebra. In the monograph [51] algebraic logic was used for building up a model of a database. Later on, the structures arising there turned out to be useful for solving several problems from algebra. This is the position which the present paper is written from.
A formal calculus for informal equality with binding
 In WoLLIC’07: 14th Workshop on Logic, Language, Information and Computation, volume 4576 of LNCS
, 2007
"... Abstract. In informal mathematical usage we often reason using languages with binding. We usually find ourselves placing captureavoidance constraints on where variables can and cannot occur free. We describe a logical derivation system which allows a direct formalisation of such assertions, along w ..."
Abstract

Cited by 13 (2 self)
 Add to MetaCart
Abstract. In informal mathematical usage we often reason using languages with binding. We usually find ourselves placing captureavoidance constraints on where variables can and cannot occur free. We describe a logical derivation system which allows a direct formalisation of such assertions, along with a direct formalisation of their constraints. We base our logic on equality, probably the simplest available judgement form. In spite of this, we can axiomatise systems of logic and computation such as firstorder logic or the lambdacalculus in a very direct and natural way. We investigate the theory of derivations, prove a suitable semantics sound and complete, and discuss existing and future research. 1
Fibring Modal FirstOrder Logics: Completeness Preservation
 Logic Journal of the IGPL
, 2002
"... Fibring is de ned as a mechanism for combining logics with a rstorder base, at both the semantic and deductive levels. A completeness theorem is established for a wide class of such logics, using a variation of the Henkin method that takes advantage of the presence of equality and inequality i ..."
Abstract

Cited by 12 (5 self)
 Add to MetaCart
Fibring is de ned as a mechanism for combining logics with a rstorder base, at both the semantic and deductive levels. A completeness theorem is established for a wide class of such logics, using a variation of the Henkin method that takes advantage of the presence of equality and inequality in the logic. As a corollary, completeness is shown to be preserved when bring logics in that class. A modal rstorder logic is obtained as a bring where neither the Barcan formula nor its converse hold.
Interpolation in Algebraizable Logics; Semantics for Nonnormal Multimodal Logic
 Journal of Applied NonClassical Logics
, 1998
"... . The two main directions pursued in the present paper are the following. The first direction was (perhaps) started by Pigozzi in 1969. In [Mak 91] and [Mak 79] Maksimova proved that a normal modal logic (with a single unary modality) has the Craig interpolation property iff the corresponding class ..."
Abstract

Cited by 11 (4 self)
 Add to MetaCart
. The two main directions pursued in the present paper are the following. The first direction was (perhaps) started by Pigozzi in 1969. In [Mak 91] and [Mak 79] Maksimova proved that a normal modal logic (with a single unary modality) has the Craig interpolation property iff the corresponding class of algebras has the superamalgamation property. In this paper we extend Maksimova's theorem to normal multimodal logics with arbitrarily many, not necessarily unary modalities, and to not necessarily normal multimodal logics with modalities of ranks smaller than 2. To extend the characterization beyond multimodal logics, we look at arbitrary algebraizable logics. We will introduce an algebraic property equivalent with the Craig interpolation property in algebraizable (and in strongly nice) logics, and prove that the superamalgamation property implies the Craig interpolation property. The problem of extending the characterization result to nonnormal nonunary modal logics will be discus...
From fibring to cryptofibring. A solution to the collapsing problem
 Logica Universalis
"... Abstract. The semantic collapse problem is perhaps the main difficulty associated to the very powerful mechanism for combining logics known as fibring. In this paper we propose cryptofibred semantics as a generalization of fibred semantics, and show that it provides a solution to the collapsing prob ..."
Abstract

Cited by 9 (1 self)
 Add to MetaCart
Abstract. The semantic collapse problem is perhaps the main difficulty associated to the very powerful mechanism for combining logics known as fibring. In this paper we propose cryptofibred semantics as a generalization of fibred semantics, and show that it provides a solution to the collapsing problem. In particular, given that the collapsing problem is a special case of failure of conservativeness, we formulate and prove a sufficient condition for cryptofibring to yield a conservative extension of the logics being combined. For illustration, we revisit the example of combining intuitionistic and classical propositional logics.