Results 271 to 276 of about 101,814 (276)

Paraconsistent Logic and Formalism of Negation as Failure--Extension to Predicate Logic Programming

, 1993
和己 中松
openalex  

Kripke incompleteness of some predicate extensions of modal subframe logics without finite embedding property

, 1998
Eiko Isoda, Tatsuya Shimura
openalex  

Some of the next articles are maybe not open access.

Related searches:

A note on an extension of multisort predicate logic language

Skvortsov, D. P., Finn, V. K.
openaire   +1 more source

A remark about an extension of the language of the many-sorted predicate logic

Skvortsov, D. P., Finn, V. K.
openaire   +1 more source

A predicative extension of elementary logic. I

openaire   +1 more source

Model extension theorem and Craig's interpolation theorem for intermediate predicate logics

openaire   +1 more source