𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On quasi-varieties of multiple valued logic models

✍ Scribed by Răzvan Diaconescu

Publisher
John Wiley and Sons
Year
2011
Tongue
English
Weight
128 KB
Volume
57
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

MSC (2010) 03B50, 03C05

We extend the concept of quasi-variety of first-order models from classical logic to multiple valued logic (MVL) and study the relationship between quasi-varieties and existence of initial models in MVL. We define a concept of 'Horn sentence' in MVL and based upon our study of quasi-varieties of MVL models we derive the existence of initial models for MVL 'Horn theories'.

📜 SIMILAR VOLUMES

Consistency of quasi-static boundary val
Consistency of quasi-static boundary value problems in electromagnetic modelling
✍ S. Suuriniemi; L. Kettunen 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 217 KB

This paper analyses the possibility to computationally settle consistency of field problems, especially those arising from electromagnetic modelling: the electromagnetic theory is expressed in field-oriented concepts, which allow for formulation of boundary value problems with no solution at all or

On the consistency of rule bases based o
On the consistency of rule bases based on lattice-valued first-order logic LF(X)
✍ Yang Xu; Jun Liu; Da Ruan; Tsu-Tian Lee 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 209 KB 👁 1 views

The consistency of a rule base is an essential issue for rule-based intelligent information processing. Due to the uncertainty inevitably included in the rule base, it is necessary to verify the consistency of the rule base while investigating, designing, and applying a rule-based intelligent system

A Multiplicative Model Imposed More Rest
A Multiplicative Model Imposed More Restrictions on the Quasi-Symmetry Model for the Analysis of Square Contingency Tables
✍ Dr. Sadao Tomizawa 📂 Article 📅 1991 🏛 John Wiley and Sons 🌐 English ⚖ 251 KB 👁 2 views

For the anlrlysk of square contingency tables, this note proposes s multiplicative model imposed more restrictions on CAUSSINUS' (1965) quasi-symmetry (QS) model. The model is not 80 strict as in the quasi-double symmetry model considered by TOAUZAWA (1985 b). The proposed model has the structure of