On quasi-varieties of multiple valued logic models

Article Properties
Cite
Diaconescu, Răzvan. “On Quasi-Varieties of Multiple Valued Logic Models”. Mathematical Logic Quarterly, vol. 57, no. 2, 2011, pp. 194-03, https://doi.org/10.1002/malq.200910131.
Diaconescu, R. (2011). On quasi-varieties of multiple valued logic models. Mathematical Logic Quarterly, 57(2), 194-203. https://doi.org/10.1002/malq.200910131
Diaconescu, Răzvan. “On Quasi-Varieties of Multiple Valued Logic Models”. Mathematical Logic Quarterly 57, no. 2 (2011): 194-203. https://doi.org/10.1002/malq.200910131.
Diaconescu R. On quasi-varieties of multiple valued logic models. Mathematical Logic Quarterly. 2011;57(2):194-203.
Refrences
Title Journal Journal Categories Citations Publication Date
Institutions: abstract model theory for specification and programming

Journal of the ACM
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Science (General): Cybernetics: Information theory
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
266 1992
Quasi-varieties in abstract algebraic institutions Journal of Computer and System Sciences
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
36 1986
Initial Algebra Semantics and Continuous Algebras

Journal of the ACM
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Science (General): Cybernetics: Information theory
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
275 1977
Fuzzy Logic Programming and Fuzzy Control Studia Logica
  • Science: Mathematics
  • Science: Mathematics
  • Philosophy. Psychology. Religion: Philosophy (General)
23 2005
Herbrand theorems in arbitrary institutions Information Processing Letters
  • Technology: Technology (General): Industrial engineering. Management engineering: Information technology
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Telecommunication
  • Science: Science (General): Cybernetics: Information theory
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
16 2004
Citations
Title Journal Journal Categories Citations Publication Date
Preservation in many-valued truth institutions Fuzzy Sets and Systems
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • Science: Mathematics: Probabilities. Mathematical statistics
  • Science: Mathematics
  • Technology: Engineering (General). Civil engineering (General)
  • Technology: Engineering (General). Civil engineering (General)
2 2023
A method for rigorous design of reconfigurable systems Science of Computer Programming
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
5 2016
Refinement in hybridised institutions

Formal Aspects of Computing
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
9 2015
Graded consequence: an institution theoretic study Soft Computing
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Technology: Mechanical engineering and machinery
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
5 2014
Abstract Valuation Semantics Studia Logica
  • Science: Mathematics
  • Science: Mathematics
  • Philosophy. Psychology. Religion: Philosophy (General)
2013
Citations Analysis
The category Science: Mathematics: Instruments and machines: Electronic computers. Computer science 7 is the most commonly referenced area in studies that cite this article. The first research to cite this article was titled Structural induction in institutions and was published in 2011. The most recent citation comes from a 2023 study titled Preservation in many-valued truth institutions. This article reached its peak citation in 2013, with 3 citations. It has been cited in 7 different journals, 14% of which are open access. Among related journals, the Fuzzy Sets and Systems cited this research the most, with 2 citations. The chart below illustrates the annual citation trends for this article.
Citations used this article by year