1 - 9 of 9 articles
The palier explains the methods of approximation of set which were earlier put forth by the authors (1995a, 1995b) and by W. Marek and H. Rasiowa (1986). An essential part of this paper is devoted to the presentation of a certain calculus of rough sets and contextual rough sets in contextual...
In this paper it is shown that a broad class of propositional logics can be interpreted in an equational logic based on fork algebras. This interpetability enables us to develop a fork-algebraic formalization of these logics and, as a consequence, to simulate non-classical means of reasoning...
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...
This paper gives a survey of known results related to computational devices (finite and push-down automata) recognising monadic generalised quantifiers infinite models. Some of these results are simple reinterpretations of descriptive-feasible correspondence theorems from finite-model theory....
This paper presents an attempt to create a shell for generic interactive proof search and proof assistant software based on it.
A new type of calculi is proposed for a first order linear temporal logic. Instead of induction-type postulates the introduced calculi contain a similarity saturation principle, indicating some form of regularity in the derivations of the logic. In a finitary case we obtained the finite set of...
After indicating why this is needed, the paper proves a non-triviality result for a paraconsistent theory containing arithmetic, naive truth and denotation predicates, and descriptions. The result is obtained by dualising a construction of Kroon. Its most notable feature is that there is a...
The instructionsbelow fall into three categories. The editor of the review would be grateful to authors for respecting these indications. At times, the length of this summary may attain a dozen lines. It is to be written in size 9 italic Times.
Read and print from thousands of top scholarly journals.
Continue with Facebook
Log in with Microsoft
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Sign Up Log In
To subscribe to email alerts, please log in first, or sign up for a DeepDyve account if you don’t already have one.
To get new article updates from a journal on your personalized homepage, please log in first, or sign up for a DeepDyve account if you don’t already have one.