CLAS - A Formal Aid to Data Elements Identification

Dušan Malbaški; Danilo Obradović

Displaying similar documents to “CLAS - A Formal Aid to Data Elements Identification”

A general deduction theorem.

Salvatore Guccione, Roberto Tortora (1980)

Stochastica

Similarity:

In this paper we present a very general deduction theorem which -based upon a uniform notion of proof from hypotheses- holds for a very large class of logical systems. Most of the known results for classical and modal logics, as well as new results, are immediate corollaries of this theorem.

Reasoning with External Data

Vladan Devedžić, Dušan Velašević, Zoran Božović (1993)

The Yugoslav Journal of Operations Research

Similarity:

A semantical hierarchy for modal formulas.

Salvatore Guccione, Roberto Tortora (1982)

Stochastica

Similarity:

In this paper a semantical partition, relative to Kripke models, is introduced for sets of formulas. Secondly, this partition is used to generate a semantical hierarchy for modal formulas. In particular some results are given for the propositional calculi T and S4.

Metric similarities in the logic of approximation.

Michael Katz (1982)

Stochastica

Similarity:

We describe restricted and extended versions of the logic of approximation which is meant to handle formally the problems of measurement error and of deduction under conditions of uncertainty. We apply the logic to the foundations of social and behavioral inquiry, axiomatizing in it an inexact similarity predicate which behaves like a metric approximation to identity. In the restricted version of the logic we formulate conditions for the imbeddability of similarity models in the real...