Results 211 to 220 of about 5,025 (226)

Bi-Simulating in Bi-Intuitionistic Logic

Studia Logica, 2016
Guillermo Badia, Badia Guillermo
exaly  

Kripke Completeness of Bi-intuitionistic Multilattice Logic and its Connexive Variant

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

Intuitionistic Fuzzy Logic Control for Heater Fans

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

Expressing Second-order Sentences in Intuitionistic Dependence Logic

Studia Logica, 2013
Fan Yang
exaly  

A probabilistic extension of intuitionistic logic

Mathematical Logic Quarterly, 2003
Zoran Markovic, Zoran Ognjanovic, Miodrag Rašković   +2 more
exaly  

The ILTP Problem Library for Intuitionistic Logic

Journal of Automated Reasoning, 2007
Jens Otten, Christoph Kreitz, Otten Jens   +2 more
exaly  

A lower bound for intuitionistic logic

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

Intuitionistic hybrid logic: Introduction and survey

Information and Computation, 2011
Torben Brauner
exaly  

Dual Intuitionistic Logic and a Variety of Negations: The Logic of Scientific Research

Studia Logica, 2005
Yaroslav Shramko, Shramko Yaroslav
exaly  

Intuitionistic logic with strong negation

Studia Logica, 1977
Yuri Gurevich
exaly