Complexity of t-tautologies

Article Properties
Cite
Baaz, Matthias, et al. “Complexity of T-Tautologies”. Annals of Pure and Applied Logic, vol. 113, no. 1-3, 2001, pp. 3-11, https://doi.org/10.1016/s0168-0072(01)00048-3.
Baaz, M., Hájek, P., Montagna, F., & Veith, H. (2001). Complexity of t-tautologies. Annals of Pure and Applied Logic, 113(1-3), 3-11. https://doi.org/10.1016/s0168-0072(01)00048-3
Baaz M, Hájek P, Montagna F, Veith H. Complexity of t-tautologies. Annals of Pure and Applied Logic. 2001;113(1-3):3-11.
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
Basic fuzzy logic and BL-algebras 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
 89 1998
A complete many-valued logic with product-conjunction Archive for Mathematical Logic
  • Science: Mathematics
  • Science: Mathematics
 1996
Many-valued logics and mixed integer programming 1994
Satisfiability in many-valued sentential logic is NP-complete Theoretical Computer Science
  • 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
 47 1987
Associative functions and statistical triangle inequalities 1961
Refrences Analysis
Category Category Repetition
Science: Mathematics: Instruments and machines: Electronic computers. Computer science5
Science: Mathematics3
Technology: Mechanical engineering and machinery1
Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics1
Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software1
Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware1
The category Science: Mathematics: Instruments and machines: Electronic computers. Computer science 5 is the most frequently represented among the references in this article. It primarily includes studies from Soft Computing and Archive for Mathematical Logic. The chart below illustrates the number of referenced publications per year.
Refrences used by this article by year