Institutional semantics for many-valued logics
Article Properties
-
LanguageEnglish
-
DOI (url)
-
Publication Date2013/05/01
-
Journal
-
Indian UGC (journal)
-
Refrences37
-
Citations12
-
Răzvan Diaconescu
Cite
Diaconescu, Răzvan. “Institutional Semantics for Many-Valued Logics”. Fuzzy Sets and Systems, vol. 218, 2013, pp. 32-52, https://doi.org/10.1016/j.fss.2012.11.015.
Diaconescu, R. (2013). Institutional semantics for many-valued logics. Fuzzy Sets and Systems, 218, 32-52. https://doi.org/10.1016/j.fss.2012.11.015
Diaconescu, Răzvan. “Institutional Semantics for Many-Valued Logics”. Fuzzy Sets and Systems 218 (2013): 32-52. https://doi.org/10.1016/j.fss.2012.11.015.
Diaconescu R. Institutional semantics for many-valued logics. Fuzzy Sets and Systems. 2013;218:32-5.
Journal Categories
Science
Mathematics
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Science
Mathematics
Probabilities
Mathematical statistics
Technology
Engineering (General)
Civil engineering (General)
Technology
Technology (General)
Industrial engineering
Management engineering
Applied mathematics
Quantitative methods
You May Also Like
Refrences
| Title | Journal | Journal Categories | Citations | Publication Date |
|---|---|---|---|---|
| Structural induction in institutions | Information and Computation |
| 5 | 2011 |
| On quasi-varieties of multiple valued logic models | Mathematical Logic Quarterly |
| 8 | 2011 |
| Quasi-boolean encodings and conditionals in algebraic specification | The Journal of Logic and Algebraic Programming | 8 | 2010 | |
| Elementary Diagrams in Institutions | Journal of Logic and Computation |
| 26 | 2004 |
| CASL | 2002 |
Citations
| Title | Journal | Journal Categories | Citations | Publication Date |
|---|---|---|---|---|
| Translation structures for fuzzy model theory | Fuzzy Sets and Systems |
| 2024 | |
| Preservation in many-valued truth institutions | Fuzzy Sets and Systems |
| 2 | 2023 |
| Generalised graded interpolation | International Journal of Approximate Reasoning |
| 3 | 2023 |
The Axiomatic Approach to Non-Classical Model Theory | Mathematics |
| 2022 | |
| Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning | Journal of Applied Non-Classical Logics | 7 | 2019 |
Citations Analysis
The category
Science: Mathematics: Instruments and machines: Electronic computers. Computer science 10
is the most commonly referenced area in studies that cite this article. The first research to cite this article was titled Graded consequence: an institution theoretic study and was published in 2014. The most recent citation comes from a 2024 study titled Translation structures for fuzzy model theory. This article reached its peak citation in 2016, with 4 citations. It has been cited in 8 different journals, 25% of which are open access. Among related journals, the Science of Computer Programming cited this research the most, with 3 citations. The chart below illustrates the annual citation trends for this article.