Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Annotated logics and application -- an overview - MaRDI portal

Annotated logics and application -- an overview

From MaRDI portal

Publication:6623868

Jump to:navigation, search

DOI10.1007/978-3-031-35759-6_12MaRDI QIDQ6623868

Jair Minoro Abe

Publication date: 24 October 2024

zbMATH Keywords

paraconsistent logic AI paracomplete logic annotated logic non-alethic logic

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Logic in artificial intelligence (68T27) History of mathematics in the 21st century (01A61) Logic in computer science (03B70) History of mathematical logic and foundations (03-03) Paraconsistent logics (03B53)

Cites Work

Introduction to annotated logics. Foundations for paracomplete and paraconsistent reasoning

This page was built for publication: Annotated logics and application -- an overview

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6623868&oldid=40186689"