Bi-state logic

DOI10.1007/978-3-642-30743-0_18zbMATH Open1357.68033OpenAlexW138537645MaRDI QIDQ2900524FDOQ2900524

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

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

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (2)

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

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)