Results 191 to 200 of about 16,014 (243)

A Graph-Theoretic Characterization Theorem for Multiplicative Fragment of Non-Commutative Linear Logic(Preliminary Report)(Non-Classical Logics and Their Kripke Semantics)

, 1995
Misao Nagayama, Mitsuhiro Okada
openalex   +1 more source

A Study on Substructural Logics with Restricted Exchange Rules(New Aspects in Non-Classical Logics and Their Kripke Semantics)

, 1997
亮 鹿島, 哲広 上出
openalex   +1 more source

Kripke-style semantics for Jaskowski's system qf

, 1981
Max Urchs
openalex   +1 more source

Algebraic semantics for predicate logics and their completeness(Non-Classical Logics and Their Kripke Semantics)

, 2008
Ono, Hiroakira
openalex   +1 more source

Some of the next articles are maybe not open access.

Related searches:

An implementation of Kripke-Kleene semantics

Information Sciences, 1998
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Liu, Faye F., Moore, Douglas H.
exaly   +5 more sources

Kripke‐style semantics for many‐valued logics

Mathematical Logic Quarterly, 2003
AbstractThis paper deals with Kripke‐style semantics for many‐valued logics. We introduce various types of Kripke semantics, and we connect them with algebraic semantics. As for modal logics, we relate the axioms of logics extending MTL to properties of the Kripke frames in which they are valid.
Montagna, Franco, Sacchetti, Lorenzo
openaire   +3 more sources

Incompleteness Results in Kripke Bundle Semantics

Mathematical Logic Quarterly, 1997
AbstractKripke bundle and C‐set semantics are known as semantics which generalize standard Kripke semantics. In [4] and in [1, 2] it is shown that Kripke bundle and C‐set semantics are stronger than standard Kripke semantics. Also it is true that C‐set semantics for superintuitionistic logics is stronger than Kripke bundle semantics ([6]).
Nagaoka, Kazuaki, Isoda, Eiko
openaire   +2 more sources

Kripke Bundle Semantics and C-set Semantics

Studia Logica, 1997
The paper shows that the first-order modal logic Q-S4.1 is not complete with respect to Kripke bundle semantics. It follows that C-set semantics is stronger than Kripke bundle semantics for predicate modal logics.
openaire   +2 more sources

Kripke Semantics for Modal Substructural Logics

Journal of Logic, Language and Information, 2002
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources