Bilattices, introduced by M. Ginsberg, constitute an elegant family of multiple-valued logics. Those meeting certain natural conditions have provided the basis for the semantics of a family of logic programming languages. Now we consider further restrictions on bilattices, to narrow things down to logic programming languages that can, at least in principle, be implemented. Appropriate bilattice background information is presented, so the paper is relatively self-contained.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
A Non-Deterministic View on Non-Classical Negations.Arnon Avron - 2005 - Studia Logica 80 (2-3):159-194.
Non-Classical Negation in the Works of Helena Rasiowa and Their Impact on the Theory of Negation.Dimiter Vakarelov - 2006 - Studia Logica 84 (1):105-127.
A Few More Useful 8-Valued Logics for Reasoning with Tetralattice Eight.Dmitry Zaitsev - 2009 - Studia Logica 92 (2):265 - 280.
A New Axiomatic Foundation of Partial Comparability.Alexis Tsoukiàs & Philippe Vincke - 1995 - Theory and Decision 39 (1):79-114.
Similar books and articles
Evidential Bilattice Logic and Lexical Inference.Andreas Schöter - 1996 - Journal of Logic, Language and Information 5 (1):65-105.
Bilattices Are Nice Things.Melvin Fitting - 2006 - In T. Bolander, V. Hendricks & S. A. Pedersen (eds.), Self-Reference. CSLI Publications.
Reasoning with Logical Bilattices.Ofer Arieli & Arnon Avron - 1996 - Journal of Logic, Language and Information 5 (1):25--63.
Hybrid Probabilistic Logic Programs as Residuated Logic Programs.Carlos Viegas Damásio & Luís Moniz Pereira - 2002 - Studia Logica 72 (1):113 - 138.
Computability Theory, Semantics, and Logic Programming.Melvin Fitting - 1987 - Clarendon Press.
Bilattices and the Theory of Truth.Melvin Fitting - 1989 - Journal of Philosophical Logic 18 (3):225 - 256.
Added to index2010-12-22
Total downloads29 ( #174,938 of 2,158,435 )
Recent downloads (6 months)1 ( #354,697 of 2,158,435 )
How can I increase my downloads?