메뉴 건너뛰기




Volumn 9, Issue 1, 1999, Pages 61-105

Functional completeness and axiomatizability within belnap's four- valued logic and its expansions

Author keywords

Algebraizable sequential consequence; Belnap's four valued logic; Boolean algebra; De Morgan lattice; Distributive bilattice with negation; Equational consequence; Equivalent quasivariety; Functionally complete logic; Implicative De Morgan lattice; Polynomial operation; Sequential consequence

Indexed keywords


EID: 0001813335     PISSN: 11663081     EISSN: 19585780     Source Type: Journal    
DOI: 10.1080/11663081.1999.10510958     Document Type: Article
Times cited : (49)

References (16)
  • 1
    • 0004264852 scopus 로고
    • University of Missouri Press, Columbia (Missouri)
    • R. BALBES and P. DWINGER, Distributive lattices, University of Missouri Press, Columbia (Missouri), 1974
    • (1974) Distributive Lattices
    • Balbes, R.1    Dwinger, P.2
  • 2
    • 0001842932 scopus 로고
    • A useful four-valued logic
    • in: J. M. DUNN and G. EPSTEIN (eds.), D. Reidel Publishing Company, Dordrecht
    • N. D. BELNAP (JR.), A useful four-valued logic, in: J. M. DUNN and G. EPSTEIN (eds.), Modern Uses of Multiple-Valued Logic (D. Reidel Publishing Company, Dordrecht, 1977), pp. 8-37
    • (1977) Modern Uses of Multiple-Valued Logic , pp. 8-37
    • Belnap, Jr.N.D.1
  • 3
    • 84990616630 scopus 로고
    • Multivalued logics: A uniform approach to reasoning in artificial intelligence
    • M. L. GINSBERG, Multivalued logics: a uniform approach to reasoning in artificial intelligence, Computational Intelligence 4 (1988), pp. 265-316
    • (1988) Computational Intelligence 4 , pp. 265-316
    • Ginsberg, M.L.1
  • 9
    • 84887422249 scopus 로고
    • Sequential formulations of some paraconsistent logical systems
    • (in Russian), in: V. A. SMIRNOV (ed.), Nauka, Moscow
    • V. M. POPOV, Sequential formulations of some paraconsistent logical systems (in Russian), in: V. A. SMIRNOV (ed.), Syntactic and semantic investigations of non-extensional logics (Nauka, Moscow, 1989), pp.285-289
    • (1989) Syntactic and Semantic Investigations of Non-extensional Logics , pp. 285-289
    • Popov, V.M.1
  • 11
    • 84887490938 scopus 로고
    • Definitional equivalence and algebraizability of generalized logical systems
    • Preprint (Russian Academy of Sciences, Space Research Institute, Moscow, To appear in
    • A. P. PYNKO, Definitional equivalence and algebraizability of generalized logical systems, Preprint (Russian Academy of Sciences, Space Research Institute, Moscow, 1993), 66pp. To appear in Annals of Pure and Applied Logic
    • (1993) Annals of Pure and Applied Logic , pp. 66
    • Pynko, A.P.1
  • 12
    • 0009166634 scopus 로고
    • Algebraic study of Sette's maximal paraconsistent logic
    • A. P. PYNKO, Algebraic study of Sette's maximal paraconsistent logic, Studia Logica 54 (1995), pp. 89-128
    • (1995) Studia Logica 54 , pp. 89-128
    • Pynko, A.P.1
  • 14
    • 84981405124 scopus 로고
    • Characterizing belnap's logic via De morgan's jaws
    • A. P. PYNKO, Characterizing Belnap's logic via De Morgan's Jaws, Mathematical Logic Quarterly 41 (1995), pp. 442-454
    • (1995) Mathematical Logic Quarterly 41 , pp. 442-454
    • Pynko, A.P.1
  • 16
    • 84887479347 scopus 로고    scopus 로고
    • Implicational classes of de morgan lattices
    • to appear
    • A. P. PYNKO, Implicational classes of De Morgan lattices, Discrete Mathematics, to appear
    • Discrete Mathematics
    • Pynko, A.P.1


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