Amanote Research

Amanote Research

    RegisterSign In

Kleene's Three-Valued Logic and Process Algebra

Information Processing Letters - Netherlands
doi 10.1016/s0020-0190(98)00083-0
Full Text
Open PDF
Abstract

Available in full text

Categories
Signal ProcessingComputer Science ApplicationsInformation SystemsTheoretical Computer Science
Date

July 1, 1998

Authors
Jan A. BergstraAlban Ponse
Publisher

Elsevier BV


Related search

Natural Three-Valued Logics and Classical Logic

Logical Investigations
2013English

Dialectical Logic and Boolean Algebra

Journal of Mathematics Research
2019English

Evaluation of a Business Continuity Plan Using Process Algebra and Modal Logic

2009English

A Four Valued Logic

2017English

On Axiom Systems of Słupecki for the Functionally Complete Three-Valued Logic

Axiomathes
MathematicsPhilosophy
2016English

Significance of Three-Valued Logic in Informatics for Students From Technical Universities

Theoretical & Applied Science
2014English

Interval-Valued Logic Metric Spaces

2018English

Many-Valued Logic in Manufacturing

2016English

Many-Valued Logic: Beyond Algebraic Semantics

Soft Computing
GeometrySoftwareTheoretical Computer ScienceTopology
2012English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy