Displaying similar documents to “On the relation between heterogeneous uniform 2-algebraic closure operators and heterogeneous algebras.”

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.

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...

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.

Wajsberg algebras.

Josep M. Font, Antonio J. Rodríguez, Antoni Torrens (1984)

Stochastica

Similarity:

We present the basic theory of the most natural algebraic counterpart of the ℵ-valued Lukasiewicz calculus, strictly logically formulated. After showing its lattice structure and its relation to C. C. Chang's MV-algebras we study the implicative filters and prove its equivalence to congruence relations. We present some properties of the variety of all Wajsberg algebras, among which there is a representation theorem. Finally we give some characterizations of linear, simple and semisimple...