Bi-state logic

DOI10.1007/978-3-642-30743-0_18MaRDI QIDQ2900524zbMATH OpenOpenAlexFDO

Authors Luis Fariñas del Cerro, D. Pearce, A. Valverde

Publication date 23 July 2012

Published in Correct Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-30743-0_18

Mathematics Subject Classification ID

Many-valued logic (03B50) Logic in computer science (03B70) Logic programming (68N17)

Recommendations

• A logical foundation for logic programming I: Biconsequence relations and nonmonotonic completion
• Truth versus information in logic programming
• Two-valued logic programs
• scientific article; zbMATH DE number 4057054
• A logical approach to A-Prolog

Cites work

• On the logic of causal explanation
• Strongly equivalent logic programs

Cited in

(2)

• A Janus Logic Gate with Sensing Function
• Logical connectives for two-state semantics

This page was built for publication: Bi-state logic

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