Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Beata Konikowska

Finite-Valued Logics for Information Processing

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2012English

Proof Systems for Reasoning About Computation Errors

Studia Logica
Philosophy of ScienceLogicHistory
2009English

Related publications

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