Results 161 to 170 of about 39,273,340 (170)

Kripke semantics for fuzzy logics

Soft Computing, 2016
Saeed Salehi
exaly  

Kripke Bundle Semantics and C-set Semantics

Studia Logica, 1997
exaly  

Incompleteness Results in Kripke Bundle Semantics

Mathematical Logic Quarterly, 1997
exaly  

An implementation of Kripke-Kleene semantics

Information Sciences, 1998
exaly  

Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics

Studia Logica, 1993
Nobu-Yuki Suzuki
exaly  

Kripke-style Semantics of Orthomodular Logics

Mathematical Logic Quarterly, 2001
exaly  

Generalized Kripke semantics for Nelson’s logic

Algebra and Logic, 2010
exaly  

Reactive Kripke Semantics

Cognitive Technologies, 2013
exaly  

Kripke Semantics for Modal Bilattice Logic

2013
Umberto Rivieccio, Jung Achim
exaly  

A Kripke Semantics for Intuitionistic Łukasiewicz Logic with Weak Excluded Middle

Lecture Notes in Computer Science
Zhiguang Zhao, Andrew Lewis-Smith
exaly