Turner’s Logic of Universal Causation, Propositional Logic, and Logic Programming

DOI10.1007/978-3-642-40564-8_40zbMATH Open1405.68356OpenAlexW2125486456MaRDI QIDQ2851270FDOQ2851270

Jianmin Ji, Fangzhen Lin

Publication date: 10 October 2013

Published in: Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-40564-8_40

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic programming (68N17) Logic in artificial intelligence (68T27)

Uses Software

• GNT

This page was built for publication: Turner’s Logic of Universal Causation, Propositional Logic, and Logic Programming

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