Results 201 to 210 of about 722,619 (215)

Reasoning Within Intuitionistic Fuzzy Rough Description Logics

Information Sciences, 2009
Yuncheng Jiang, Suqin Tang
exaly  

Expressing Second-Order Sentences in Intuitionistic Dependence Logic

Studia Logica, 2013
Fan Yang
exaly  

The ILTP Problem Library for Intuitionistic Logic

Journal of Automated Reasoning, 2007
Jens Otten
exaly  

A Lower Bound for Intuitionistic Logic

Annals of Pure and Applied Logic, 2007
Pavel Hrubeš
exaly  

Bi-Simulating in Bi-Intuitionistic Logic

Studia Logica, 2016
Guillermo Badia
exaly  

Intuitionistic Conditional Logics

Journal of Philosophical Logic, 2020
Ivano Alessandro Ciardelli, Xinghan Liu
exaly  

Intuitionistic Fuzzy Logics

Studies in Fuzziness and Soft Computing, 2017
Krassimir Atanassov
exaly  

Intuitionistic Fuzzy Logic Control for Heater Fans

Mathematics in Computer Science, 2013
Muhammad Akram, Abdul Khaliq, Muhammad Arif Butt   +2 more
exaly  

Kripke Completeness of Bi-Intuitionistic Multilattice Logic and Its Connexive Variant

Studia Logica, 2017
Norihiro Kamide, Heinrich Wansing, Yaroslav Shramko   +2 more
exaly  

Intuitionistic Modal Logic

1999
Michael Zakharyaschev
exaly