SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Journal of Philosophical Logic

Volumn 18, Issue 3, 1989, Pages 225-256

Bilattices and the theory of truth

(1) Fitting, Melvin a

a CITY UNIVERSITY OF NEW YORK (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0008004457 PISSN: 00223611 EISSN: 15730433 Source Type: Journal
DOI: 10.1007/BF00274066 Document Type: Article

Times cited : (64)

References (18)

1
- 0003990776
- Springer-Verlag, Berlin
- (1975) Admissible Sets and Structures
- Barwise, J.¹

2
- 84934979105
- N. D. Belnap, Jr. A useful four-valued logic, in Modern Uses of Multiple-Valued Logic, J. Michael Dunn and G. Epstein, eds, pp. 8–37, D. Reidel (1977).

3
- 0007912444
- Intuitive semantics for first-degree entailments and ‘coupled trees’
- (1976) Philosophical Studies , vol.29 , pp. 149-168
- Dunn, J.M.¹

4
- 84934956029
- M. C. Fitting, A Kripke/Kleene semantics for logic programs, Journal of Logic Programming, pp. 295–312 (1985).

5
- 84972526931
- Notes on the mathematical aspects of Kripke's Theory of Truth
- (1986) Notre Dame Journal of Formal Logic , vol.27 , pp. 75-88
- Fitting, M.C.¹

6
- 0024034424
- Logic programming on a topological bilattice
- (1988) Fundamenta Informatica , vol.11 , pp. 209-218
- Fitting, M.C.¹

7
- 84934930938
- M. C. Fitting, Bilattices and the semantics of logic programming, Journal of Logic Programming (to appear).

8
- 84934904964
- M. L. Ginsberg, Multi-valued logics, Proc. AAAI-86, Fifth National Conference on Artificial Intelligence, pp. 243–247, Morgan Kaufmann Publishers (1986).

9
- 84934969512
- M. L. Ginsberg, Multivalued logics: A uniform approach to inference in artificial intelligence, Computational Intelligence, Vol. 4, no. 3.

10
- 84934981199
- S. C. Kleene, Introduction to Metamathematics, Van Nostrand (1950).

11
- 37949002557
- Semantical analysis of modal logic I, normal propositional calculi
- (1963) Zeitschrift für Mathematische Logik und Grundlagen der Mathematik , vol.9 , pp. 67-96
- Kripke, S.¹

12
- 84934993748
- S. Kripke, Semantical considerations on modal logics, Acta Philosophica Fennica, Modal and Many-Valued Logics, pp. 83–94 (1963).

13
- 84934980090
- S. Kripke, Outline of a theory of truth, The Journal of Philosophy, vol. 72, pp. 690–716 (1975); reprinted in New Essays on Truth and The Liar Paradox, R. L. Martin, ed., Oxford (1983).

14
- 33745261522
- On representing “true-in-L” in L
- (1975) Philosophia (Israel) , vol.5 , pp. 213-217
- Martin, R.L.¹ Woodruff, P.W.²

15
- 33644787606
- Motilal Banardsidass, Delhi
- (1985) Logic, Language and Reality
- Matilal, B.K.¹

16
- 84972541021
- A lattice-theoretical fixpoint theorem and its applications
- (1955) Pacific Journal of Mathematics , vol.5 , pp. 285-309
- Tarski, A.¹

17
- 0041003413
- Four valued semantics and the liar
- (1984) Journal of Philosophical Logic , vol.13 , pp. 181-212
- Visser, A.¹

18
- 0039816823
- Paradox, truth and logic, part I: Paradox and truth
- (1984) Journal of Philosophical Logic , vol.13 , pp. 213-232
- Woodruff, P.W.¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.