Amanote Research

Amanote Research

    RegisterSign In

Discover open access scientific publications

Search, annotate, share and cite publications


Publications by João Alcântara

Searching Contexts in Paraconsistent Rough Description Logic

Journal of the Brazilian Computer Society
Computer Science
2015English

Related publications

Potoses: Categorical Paraconsistent Universum for Paraconsistent Logic and Mathematics

Logical Investigations
2017English

Paraconsistent Logic and Weakening of Intuitionistic Negation

Journal of Intelligent Systems
Information SystemsArtificial IntelligenceSoftware
2012English

Paraconsistent Negation and Classical Negation in Computation Tree Logic

2010English

Remarks on an Algebraic Semantics for Paraconsistent Nelson's Logic

Manuscrito
Philosophy
2011English

Managing Uncertainty and Vagueness in Description Logics, Logic Programs and Description Logic Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

LTL Over Description Logic Axioms

ACM Transactions on Computational Logic
Computational MathematicsTheoretical Computer ScienceComputer ScienceLogic
2012English

Hybrid Unification in the Description Logic EL

English

Ideal Paraconsistent Logics

Studia Logica
Philosophy of ScienceLogicHistory
2011English

Granularity, Multi-Valued Logic, Bayes’ Theorem and Rough Sets

Studies in Fuzziness and Soft Computing
Computational MathematicsComputer Science
2002English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy