BILATTICES AND THE THEORY OF TRUTH

[1] Barwise Jon., 1975, PERSPECTIVES MATH LO

[2] Belnap, 1977, MODERN USES MULTIPLE, P5, DOI DOI 10.1007/978-94-010-1161-7_2

[3] INTUITIVE SEMANTICS FOR 1ST-DEGREE ENTAILMENTS AND COUPLED TREES [J]. PHILOSOPHICAL STUDIES, 1976, 29 (03) : 149 - 168

[4] Fitting M., 1988, Fundamenta Informaticae, V11, P209

[5] Fitting M., 1986, NOTRE DAME J FORM L, V27, P75, DOI [10.1305/ndjfl/1093636525, DOI 10.1305/NDJFL/1093636525]

[6] FITTING M, IN PRESS J LOGIC PRO

[7] FITTING MC, 1985, J LOGIC PROGRAM, P295

[8] GINSBERG ML, COMPUTATIONAL INTELL, V4

[9] GINSBERG ML, 1986, 5TH P AAAI 86 NAT C, P243

[10] Kleene S.C., 1950, INTRO METAMATHEMATIC

[1] Barwise Jon., 1975, PERSPECTIVES MATH LO

[2] Belnap, 1977, MODERN USES MULTIPLE, P5, DOI DOI 10.1007/978-94-010-1161-7_2

[3] INTUITIVE SEMANTICS FOR 1ST-DEGREE ENTAILMENTS AND COUPLED TREES [J]. PHILOSOPHICAL STUDIES, 1976, 29 (03) : 149 - 168

[4] Fitting M., 1988, Fundamenta Informaticae, V11, P209

[5] Fitting M., 1986, NOTRE DAME J FORM L, V27, P75, DOI [10.1305/ndjfl/1093636525, DOI 10.1305/NDJFL/1093636525]

[6] FITTING M, IN PRESS J LOGIC PRO

[7] FITTING MC, 1985, J LOGIC PROGRAM, P295

[8] GINSBERG ML, COMPUTATIONAL INTELL, V4

[9] GINSBERG ML, 1986, 5TH P AAAI 86 NAT C, P243

[10] Kleene S.C., 1950, INTRO METAMATHEMATIC