Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras

Article Properties
Cite
Marra, Vincenzo, and Luca Spada. “Duality, Projectivity, and Unification in Łukasiewicz Logic and MV-Algebras”. Annals of Pure and Applied Logic, vol. 164, no. 3, 2013, pp. 192-10, https://doi.org/10.1016/j.apal.2012.10.001.
Marra, V., & Spada, L. (2013). Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras. Annals of Pure and Applied Logic, 164(3), 192-210. https://doi.org/10.1016/j.apal.2012.10.001
Marra V, Spada L. Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras. Annals of Pure and Applied Logic. 2013;164(3):192-210.
Journal Categories
Science
Mathematics
Technology
Technology (General)
Industrial engineering
Management engineering
Applied mathematics
Quantitative methods
You May Also Like
Refrences
Title Journal Journal Categories Citations Publication Date
The Dual Adjunction between MV-algebras and Tychonoff Spaces Studia Logica
  • Science: Mathematics
  • Science: Mathematics
  • Philosophy. Psychology. Religion: Philosophy (General)
 22 2012
Unification in modal and description logics Logic Journal of the IGPL
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • Science: Mathematics
  • Science: Mathematics
 34 2011
Bases of Admissible Rules of Lukasiewicz Logic Journal of Logic and Computation
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 20 2010
Admissible Rules of Lukasiewicz Logic Journal of Logic and Computation
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 27 2010
Projective MV-algebras and rational polyhedra Algebra universalis
  • Science: Mathematics
 11 2009
Refrences Analysis
Category Category Repetition
Science: Mathematics21
Science: Mathematics: Instruments and machines: Electronic computers. Computer science8
Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods2
Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware2
Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software2
Philosophy. Psychology. Religion: Philosophy (General)1
Science: Science (General): Cybernetics: Information theory1
The category Science: Mathematics 21 is the most frequently represented among the references in this article. It primarily includes studies from Transactions of the American Mathematical Society and Journal of Logic and Computation. The chart below illustrates the number of referenced publications per year.
Refrences used by this article by year
Citations
Title Journal Journal Categories Citations Publication Date
Encoding de Finetti's coherence within Łukasiewicz logic and MV-algebras Annals of Pure and Applied Logic
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • Science: Mathematics
  • Science: Mathematics
 2023
Projectivity and unification in substructural logics of generalized rotations International Journal of Approximate Reasoning
  • 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
 2 2023
Yosida frames in free abelian ℓ-groups Journal of Algebra
  • Science: Mathematics
 2023
The polyhedral geometry of Wajsberg hoops

 Journal of Logic and Computation
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 2 2023
Projectivity in (bounded) commutative integral residuated lattices Algebra universalis
  • Science: Mathematics
 2 2022
Citations Analysis
Category Category Repetition
Science: Mathematics21
Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods11
Science: Mathematics: Instruments and machines: Electronic computers. Computer science8
Science: Mathematics: Probabilities. Mathematical statistics3
Technology: Engineering (General). Civil engineering (General)3
Technology: Mechanical engineering and machinery2
Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics2
Philosophy. Psychology. Religion: Philosophy (General)1
The category Science: Mathematics 21 is the most commonly referenced area in studies that cite this article. The first research to cite this article was titled Blending margins: the modal logic K has nullary unification type and was published in 2013. The most recent citation comes from a 2023 study titled Yosida frames in free abelian ℓ-groups. This article reached its peak citation in 2023, with 4 citations. It has been cited in 13 different journals. Among related journals, the Journal of Pure and Applied Algebra cited this research the most, with 4 citations. The chart below illustrates the annual citation trends for this article.
Citations used this article by year