scientific article; zbMATH DE number 3529811

zbMATH Open0339.02018MaRDI QIDQ4106166FDOQ4106166

Authors: M. Nagata, Masakazu Nakanishi, Toshio Nishimura 

Publication date: 1975

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Many-valued logic (03B50) Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04)

Cited In (2)

• The algebra of conditional logic
• Non-commutative propositional logic with short-circuit evaluation

This page was built for publication:

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