Switch to: Citations

Add references

You must login to add references.
  1. Situations and Attitudes.Jon Barwise - 1981 - Journal of Philosophy 78 (11):668.
    Download  
     
    Export citation  
     
    Bookmark   48 citations  
  • Situations and Attitudes.Jon Barwise & John Perry - 1981 - Journal of Philosophy 78 (11):668-691.
    Download  
     
    Export citation  
     
    Bookmark   417 citations  
  • Proof Theory of Finite-Valued Logics.Richard Zach - 1993 - Dissertation, Technische Universität Wien
    The proof theory of many-valued systems has not been investigated to an extent comparable to the work done on axiomatizatbility of many-valued logics. Proof theory requires appropriate formalisms, such as sequent calculus, natural deduction, and tableaux for classical (and intuitionistic) logic. One particular method for systematically obtaining calculi for all finite-valued logics was invented independently by several researchers, with slight variations in design and presentation. The main aim of this report is to develop the proof theory of finite-valued first order (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Situations and Attitudes.Jerry Butterfield - 1986 - Philosophical Quarterly 36 (143):292-296.
    Download  
     
    Export citation  
     
    Bookmark   44 citations  
  • Situations and Attitudes.Sten Lindstrom - 1991 - Noûs 25 (5):743-770.
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • Reasoning with Logical Bilattices.Ofer Arieli & Arnon Avron - 1996 - Journal of Logic, Language and Information 5 (1):25--63.
    The notion of bilattice was introduced by Ginsberg, and further examined by Fitting, as a general framework for many applications. In the present paper we develop proof systems, which correspond to bilattices in an essential way. For this goal we introduce the notion of logical bilattices. We also show how they can be used for efficient inferences from possibly inconsistent data. For this we incorporate certain ideas of Kifer and Lozinskii, which happen to suit well the context of our work. (...)
    Download  
     
    Export citation  
     
    Bookmark   71 citations  
  • Situations and Attitudes.Jon Barwise & John Perry - 1983 - MIT Press.
    Download  
     
    Export citation  
     
    Bookmark   195 citations  
  • Four Valued Semantics and the Liar.Albert Visser - 1984 - Journal of Philosophical Logic 13 (2):181 - 212.
    Download  
     
    Export citation  
     
    Bookmark   31 citations  
  • Bilattices and the Semantics of Logic Programming.Melvin Fitting - unknown
    Bilattices, due to M. Ginsberg, are a family of truth value spaces that allow elegantly for missing or conflicting information. The simplest example is Belnap’s four-valued logic, based on classical two-valued logic. Among other examples are those based on finite many-valued logics, and on probabilistic valued logic. A fixed point semantics is developed for logic programming, allowing any bilattice as the space of truth values. The mathematics is little more complex than in the classical two-valued setting, but the result provides (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   40 citations  
  • The Notion of Logical Consequence in the Logic of Inexact Predicates.John P. Cleave - 1974 - Mathematical Logic Quarterly 20 (19‐22):307-324.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • A Useful Four-Valued Logic.N. D. Belnap - 1977 - In J. M. Dunn & G. Epstein (eds.), Modern Uses of Multiple-Valued Logic. D. Reidel.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   168 citations  
  • Systematization of Finite Many-Valued Logics Through the Method of Tableaux.Walter A. Carnielli - 1987 - Journal of Symbolic Logic 52 (2):473-493.
    his paper presents a unified treatment of the propositional and first-order many-valued logics through the method of tableaux. It is shown that several important results on the proof theory and model theory of those logics can be obtained in a general way. We obtain, in this direction, abstract versions of the completeness theorem, model existence theorem (using a generalization of the classical analytic consistency properties), compactness theorem and Lowenheim-Skolem theorem. The paper is completely self-contained and includes examples of application to (...)
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  • The Notion of Logical Consequence in the Logic of Inexact Predicates.John P. Cleave - 1974 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 20 (19-22):307-324.
    Download  
     
    Export citation  
     
    Bookmark   11 citations