loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
35th International Symposium on Multiple-Valued Logic (ISMVL'05)
Many-Valued Intuitionistic Implication and Inference Closure in a Bilattice-Based Logic
University of Calgary, Canada
May 19-May 21
ISBN: 0-7695-2336-6
ASCII Text
x 
 
Zoran Majkic, "Many-Valued Intuitionistic Implication and Inference Closure in a Bilattice-Based Logic," Multiple-Valued Logic, IEEE International Symposium on, pp. 214-220, 35th International Symposium on Multiple-Valued Logic (ISMVL'05), 2005.
 
 
BibTex
x
 
@article{ 10.1109/ISMVL.2005.22,
author = {Zoran Majkic},
title = {Many-Valued Intuitionistic Implication and Inference Closure in a Bilattice-Based Logic},
journal ={Multiple-Valued Logic, IEEE International Symposium on},
volume = {0},
year = {2005},
issn = {0195-623X},
pages = {214-220},
doi = {http://doi.ieeecomputersociety.org/10.1109/ISMVL.2005.22},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Multiple-Valued Logic, IEEE International Symposium on
TI - Many-Valued Intuitionistic Implication and Inference Closure in a Bilattice-Based Logic
SN - 0195-623X
SP214
EP220
A1 - Zoran Majkic,
PY - 2005
KW - null
VL - 0
JA - Multiple-Valued Logic, IEEE International Symposium on
ER -
 
Zoran Majkic, UMIACS, University of Maryland, College Park, MD
In this paper we present a many-valued logic programming, based on reinterpreted Belnap's 4-valued bilattice: we introduce the new semantics for a 4-valued implication by relative pseudo-complement, used for intuitionistic logics. This kind of logic programming is particularly useful for data integration with possibly incomplete and inconsistent information. We define an ontological encapsulation of the epistemic many-valued logic programs with negation, based on this bilattice, into 2-valued meta logic programs. Obtained 2-valued logic semantically reflects original epistemic many-valued logic, and can be used in order to define many-valued logic entailment and inference closure for many-valued truth assignments.
Citation:
Zoran Majkic, "Many-Valued Intuitionistic Implication and Inference Closure in a Bilattice-Based Logic," ismvl, pp.214-220, 35th International Symposium on Multiple-Valued Logic (ISMVL'05), 2005
Usage of this product signifies your acceptance of the Terms of Use.