Paraconsistent intelligent systems of computer logics

DOI10.1007/BF01068641MaRDI QIDQ4007390zbMATH OpenOpenAlexFDO

Authors A. S. Kuzichev

Publication date 27 September 1992

Published in Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01068641

zbMATH Keywords

applicative computation systemsbounded cut ruleGentzen-deductive extensions of Church's \(\lambda\)-conversion calculiSchönfinkel-Curry pure combinatory logic

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Cut-elimination and normal-form theorems (03F05) Logic in artificial intelligence (68T27) Combinatory logic and lambda calculus (03B40)

Recommendations

• scientific article; zbMATH DE number 4142013
• scientific article; zbMATH DE number 1931672
• Non-classical logics and intelligent systems
• scientific article; zbMATH DE number 4026795
• Paraconsistent logic programming
• scientific article; zbMATH DE number 1269574
• Taming paraconsistent (and other) logics: an algorithmic approach
• Paraconsistent computation tree logic
• scientific article; zbMATH DE number 4128788
• scientific article; zbMATH DE number 605207

Cites work

• scientific article; zbMATH DE number 3878896 (Why is no real title available?)
• scientific article; zbMATH DE number 3812923 (Why is no real title available?)
• scientific article; zbMATH DE number 4081503 (Why is no real title available?)
• scientific article; zbMATH DE number 3784831 (Why is no real title available?)
• scientific article; zbMATH DE number 3799614 (Why is no real title available?)
• A conservative extension of a formal arithmetic
• Consistent extensions of pure combinatory logic

Cited in

(2)

• Some recent applications of paraconsistent systems to AI
• Paraconsistent intelligent-based systems. New trends in the applications of paraconsistency

This page was built for publication: Paraconsistent intelligent systems of computer logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4007390)