On the Forcing Semantics for Monoidal t-norm Based Logic
| dc.creator | Diaconescu,Denisa | |
| dc.creator | Georgescu,George | |
| dc.date | 2007 | |
| dc.date.accessioned | 2024-02-06T12:55:56Z | |
| dc.date.available | 2024-02-06T12:55:56Z | |
| dc.description | MTL-algebras are algebraic structures for the Esteva-Godo monoidal t-norm based logic (MTL), a many-valued propositional calculus that formalizes the structure of the real interval [0, 1], induced by a left-continuous t-norm. Given a complete MTL-algebra Χ, we define the weak forcing value |φ|χ and the forcing value [φ]χ, for any formula φ of MTL in Χ. We establish some arithmetical properties of|.|χ and [.]χ, and prove the equality [φ]χ=||φ||χ, where ||φ||χ is the truth value of φ in Χ. | |
| dc.format | text/html | |
| dc.identifier | https://doi.org/10.3217/jucs-013-11-1550 | |
| dc.identifier | https://lib.jucs.org/article/28882/ | |
| dc.identifier.uri | https://openrepository.mephi.ru/handle/123456789/9524 | |
| dc.language | en | |
| dc.publisher | Journal of Universal Computer Science | |
| dc.relation | info:eu-repo/semantics/altIdentifier/eissn/0948-6968 | |
| dc.relation | info:eu-repo/semantics/altIdentifier/pissn/0948-695X | |
| dc.rights | info:eu-repo/semantics/openAccess | |
| dc.rights | J.UCS License | |
| dc.source | JUCS - Journal of Universal Computer Science 13(11): 1550-1572 | |
| dc.subject | MTL logic | |
| dc.subject | MTL-algebras | |
| dc.subject | forcing semantics | |
| dc.title | On the Forcing Semantics for Monoidal t-norm Based Logic | |
| dc.type | Research Article |