scientific article; zbMATH DE number 3529811
From MaRDI portal
Publication:4106166
zbMath0339.02018MaRDI QIDQ4106166
Toshio Nishimura, Masakazu Nakanishi, Morio Nagata
Publication date: 1975
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Many-valued logic (03B50) General topics in the theory of software (68N01) Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04)
Related Items (2)
The algebra of conditional logic ⋮ Non-commutative propositional logic with short-circuit evaluation
This page was built for publication:
