Algebraic Analysis of Many Valued Logics

Transactions of the American Mathematical Society - United States
doi 10.1090/s0002-9947-1958-0094302-9
Full Text
Abstract

Available in full text

Date
Authors
Publisher

American Mathematical Society (AMS)

Related search

Many-Valued Logic: Beyond Algebraic Semantics

Soft Computing
GeometrySoftwareTheoretical Computer ScienceTopology
2012English

Resolution-Based Theorem Proving for Many-Valued Logics

Journal of Symbolic Computation
Computational MathematicsNumber TheoryAlgebra
1995English

Algebraic Techniques for Analysis of Large Discrete-Valued Datasets

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Rough Sets and 3-Valued Logics

Studia Logica
Philosophy of ScienceLogicHistory
2008English

Finite-Valued Logics for Information Processing

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2012English

Model-Checking Over Multi-Valued Logics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

Interpolation in 16-Valued Trilattice Logics

Studia Logica
Philosophy of ScienceLogicHistory
2017English

Natural Three-Valued Logics and Classical Logic

Logical Investigations
2013English

Many-Valued Logics for Reasoning: Essays in Honor of Lluís Godo on the Occasion of His 60th Birthday

Soft Computing
GeometrySoftwareTheoretical Computer ScienceTopology
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy