H. Hodes. Three-valued logics: An introduction, a comparison of various logical lexica, and some philosophical remarks. Annals of Pure and Applied Logic, 2(43):99--145, 1989. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
A Quantifier-Free Completion of Logic Programs - Stärk (1990) (Correct)
....are interpreted as infinite disjunctions or conjunctions. For example A(#XF,#) t i# there is an element a # A such that A(F, #[X a] t and A(#XF,#) f i# for all a # A A(F, #[X a] f . A survey of this logic can be found in [12] and a survey of 3 valued logic can be found in [6]. What is the 3 valued interpretation of a sequent # # # of S Intuitively the sequent # # # is true i#, if all F in # are true then there is a G in # which is true and if all G in # are false then there is a F in # which is false. Let A be a 3 valued structure. We say that A(# # #, ....
H. Hodes. Three-valued logics: An introduction, a comparison of various logical lexica, and some philosophical remarks. Annals of Pure and Applied Logic, 2(43):99--145, 1989.
Simple Consequence Relations - Avron (1991) (60 citations) (Correct)
....that the set of of sequents that can be shown to hold by a given formal representation is an r.e. set. A third property that we would like an adequate representation of to have, but can in principle be achieved (by Church s thesis) only if the represented C.R. is r.e. is: 24 In fact, Hodges ([Ho],p.26) defines a formal system ( or a formal proof calculus ) to be a device for proving sequents in a language L. 23 Completeness: Whenever Gamma Delta the representation can be used to show this. In an adequate formal representation of a C.R. it should be possible to express every ....
Hodes H., Three-valued Logics: An Introduction, a Comparison of Various Logical Lexica, and some Philosophical Remarks, Annals of Pure and Appl. Logic, vol. 43 (1989), pp. 99-145.
A Kleene Analysis of Mobile Ambients - Nielson, Nielson, Sagiv (2000) (10 citations) (Correct)
No context found.
H. Hoddes. Three-Valued Logics: An Introduction, A Comparison of Various Logical Lexica, and Some Philosophical Remarks. In Annals of Pure and Applied Logic, 1989.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC