Can I read Institutional Semantics for Many-valued Logics on EtoBox?

Institutional Semantics for Many-valued Logics by Diaconescu R. is a nonfiction available to read on EtoBox.

What is Institutional Semantics for Many-valued Logics about?

Internet-publication. — 2012. — 26 p. English. (OCR-слой). [Preprint submitted to Fuzzy Sets and Systems. November 26, 2012]. [Simion Stoilow Institute of Mathematics of the Romanian Academy]. Abstract. We develop many-valued logic, including a generic abstract model theory, over a fully abstract syntax. We show that important many-valued logic model theories, such as traditional first-order many-valued logic and fuzzy multi-algebras, may be conservatively embedded into our abstract framework. Our development is technically based upon the so-called theory of institutions of Goguen and Burstall and may serve as a template for defining at hand many-valued logic model theories over various concrete syntaxes or, from another perspective, to combine many-valued logic with other logical systems. We also show that our generic many-valued logic abstract model theory enjoys a couple of important institutional model theory properties that support the development of deep model theory methods. Introduction. Many-valued logic (abbreviated mvl; also known as ‘multiple-valued’ or ‘multi-valued’ logic) has a long tradition [18, 26, 30] and needs no presentation. Our paper builds on the idea t

Who reads Institutional Semantics for Many-valued Logics?

Author

Diaconescu R.

Language

EN

Category

nonfiction

Subjects

Mathematics, Logic, Stem