Finite-Valued Logics for Information Processing

Fundamenta Informaticae - Netherlands
doi 10.3233/fi-2011-615
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IOS Press

Related search

Resolution-Based Theorem Proving for Many-Valued Logics

Journal of Symbolic Computation
Computational MathematicsNumber TheoryAlgebra
1995English

Rough Sets and 3-Valued Logics

Studia Logica
Philosophy of ScienceLogicHistory
2008English

Model-Checking Over Multi-Valued Logics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

Algebraic Analysis of Many Valued Logics

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1958English

Interpolation in 16-Valued Trilattice Logics

Studia Logica
Philosophy of ScienceLogicHistory
2017English

Multi-Valued Modal Fixed Point Logics for Model Checking

IEICE Transactions on Information and Systems
Electronic EngineeringPattern RecognitionHardwareComputer VisionElectricalArchitectureArtificial IntelligenceSoftware
2010English

Natural Three-Valued Logics and Classical Logic

Logical Investigations
2013English

A Finite Model Property for Gödel Modal Logics

English

Almost Everywhere Equivalence of Logics in Finite Model Theory

Bulletin of Symbolic Logic
PhilosophyLogic
1996English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy