论文信息 - A Note on Linear Kripke Models

A Note on Linear Kripke Models

Godel logics correspond to linear models with constant domains. In this paper other truth value logics, Scott logics, are defined, that correspond to linear models with possibly non-constant domains. An extension of intuitionistic logic with an existence predicate is discussed, and it is shown that this provides a natural translation of Scott logics into Godel logics extended by this predicate.

Rosalie Iemhoff

[1] Satoko Titani,et al. Intuitionistic fuzzy logic and intuitionistic fuzzy set theory , 1984, Journal of Symbolic Logic.

[2] Tsukuba J. Math. ANOTHER PROOF OF THE STRONG COMPLETENESS OF THE INTUITIONISTIC FUZZY LOGIC , 1987 .

[3] Giovanna Corsi,et al. A Cut-Free Calculus For Dummett's LC Quantified , 1989, Math. Log. Q..

[4] Giovanna Corsi,et al. A logic characterized by the class of connected models with nested domains , 1989, Stud Logica.

[5] N. Preining. Complete Recursive Axiomatizability of Gödel Logics , 2003 .

[6] D. Scott. Identity and existence in intuitionistic logic , 1979 .

[7] Giovanna Corsi,et al. Completeness theorem for dummett's LC quantified and some of its extensions , 1992, Stud Logica.