On axiomatizability and preservation in Kripke models.
Kripke models for intuitionistic theories with decidable atomic formulas.
On reduced products of Kripke models.
An intuitionistic logic with probablistic operators.
Completeness theorem for logic with imprecise and conditional probabilities.
Reduced Products Of Saturated Intuitionistic Theories
An Intuitionistic Ommiting Types Theorem
A Logic of Approximate Reasoning
Modification of Topsis Method for Solving of Multicriteria Tasks
Probability Logics
Optimal Short-Term Operation Planning of Interconnected Hydro-Terminal Power Systems
Page 1