Theory of M-system-Reference-Cited by-同舟云学术

Theory of M-system

Published:2017-08-16 Issue:5 Volume:25 Page:836-858
ISSN:1367-0751
Container-title:Logic Journal of the IGPL
language:en
Short-container-title:

Author:

Essert Mario¹,Kuzmanović Ivana²,Vazler Ivan³,Žilić Tihomir¹

Affiliation:

1. Faculty of Mechanical Engineering and Naval Architecture, University of Zagreb, Ivana Luičića 5, 10000 Zagreb, Croatia.

2. Department of Mathematics, J.J. Strossmayer University of Osijek, Trg Lj. Gaja 6, 31000 Osijek, Croatia.

3. Department of Physics, J.J. Strossmayer University of Osijek, Trg Lj. Gaja 6, 31000 Osijek, Croatia.

Abstract

Abstract This article introduces a new formal theory, the theory of $M$-system, which represents a many-valued logic system. Basic terms and concepts are defined which are the foundation for their further application. Though the theory comes from the field of electric circuitry, an attempt will be made to extend it to applications in linguistics. To check the examples used in this article, a Haskell program was made, which can be found at https://www.schoolofhaskell.com/user/ivazler/linguistic.

Funder

Croatian Science Foundation

Publisher

Oxford University Press (OUP)

Subject

Logic

Link

http://academic.oup.com/jigpal/article-pdf/25/5/836/19916999/jzx025.pdf

Reference20 articles.

1. A Useful Four-Valued Logic

2. Non truth-functional many-valuedness.;Beziau.;Electronic Notes in Theoretical Computer Science,2002

3. Sentence, proposition and identity.;Beziau.;Synthese,2007

4. Representation and Inference for Natural Language: A First Course in Computational Semantics.;Blackburn.,2005

5. Ob odnom trechznacnom iscislenii i ego primenenii k analizu paradoksov klassiceskogo rassirennogo funkcionalnogo iscislenija.;Bochvar.;Matematiceskij Sbornik,1938