A Logic for Information Systems*
Some Syntactic Approaches to the Handling of Inconsistent Knowledge Bases
Generalized Rough Sets (Preclusivity Fuzzy-Intuitionistic (BZ) Lattices)
An Elementary Proof of Chang's Completeness Theorem for the Infinite-valued Calculus of Lukasiewicz
A Completeness Proof for a Logic with an Alternative Necessity Operator
A Nonmonotonic Modal Formalization of the Logic of Acceptance and Rejection*
Fuzzy Logic and Arithmetical Hierarchy, II
Towards a Rough Mereology-Based Logic for Approximate Solution Synthesis. Part 1*
A Logic for Reasoning about Relative Similarity