Results 171 to 180 of about 19,546 (208)
Some of the next articles are maybe not open access.
2010
In this chapter we introduce intuitionistic hybrid logic and its proof-theory. Intuitionistic hybrid logic is hybrid modal logic over an intuitionistic logic basis instead of a classical logical basis. The chapter is structured as follows. In the first section of the chapter we introduce intuitionistic hybrid logic (this is taken from Brauner and de ...
openaire +1 more source
In this chapter we introduce intuitionistic hybrid logic and its proof-theory. Intuitionistic hybrid logic is hybrid modal logic over an intuitionistic logic basis instead of a classical logical basis. The chapter is structured as follows. In the first section of the chapter we introduce intuitionistic hybrid logic (this is taken from Brauner and de ...
openaire +1 more source
1998
Abstract This chapter deals with fibring modality into intuitionistic logic. The key difference between fibring modality into modal logic (to form a bi-modal logic) and fibring modality into intuitionistic logic is that in the latter case we are fibring into a logic whose semantics requires a condition of persistence.
openaire +1 more source
Abstract This chapter deals with fibring modality into intuitionistic logic. The key difference between fibring modality into modal logic (to form a bi-modal logic) and fibring modality into intuitionistic logic is that in the latter case we are fibring into a logic whose semantics requires a condition of persistence.
openaire +1 more source
Optimal adaptive intuitionistic fuzzy logic control of anti-cancer drug delivery systems
Biomedical Signal Processing and Control, 2020Mohamed Esmail Karar +1 more
exaly
Interval Type-2 A-Intuitionistic Fuzzy Logic for Regression Problems
IEEE Transactions on Fuzzy Systems, 2018Imo Eyoh, Robert I John, Geert De Maere
exaly
Intuitionistic Fuzzy Logic Control for Heater Fans
Mathematics in Computer Science, 2013Muhammad Akram, Arif Butt, Abdul Khaliq
exaly