03 Mathematical logic and foundations
03Fxx Proof theory and constructive mathematics
03F55 Intuitionistic mathematics (2 articles)
- : Solving intuitionistic fuzzy multi-objective linear programming problem and its application in supply chain management. (English). Applications of Mathematics, vol. 68 (2023), issue 3, pp. 269-287
- : Monotone sequent calculus and resolution. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 42 (2001), issue 3, pp. 575-582
Search
Partner of
