Paraconsistent Logic Programming in Three and Four-Valued Logics

From the interaction among areas such as Computer Science, Formal Logic, and Automated Deduction arises an important new subject called Logic Programming. This has been used continuously in the theoretical study and practical applications in various fields of Artificial Intelligence. After the emerg...

Full description

Bibliographic Details

Published in:	The bulletin of symbolic logic Vol. 28; no. 2; p. 260
Main Author:	Oliveira, Kleidson Êglicio Carvalho da Silva
Format:	Journal Article
Language:	English
Published:	New York, USA Cambridge University Press 01.06.2022
Subjects:	Artificial intelligence Deduction Logic programming Mathematical logic Reasoning Semantics Thesis Abstracts 03B53 Logic programming Many-valued logics Paraconsistent logic
ISSN:	1079-8986, 1943-5894
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!