Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Zoran Majkić
Paraconsistent Logic and Weakening of Intuitionistic Negation
Journal of Intelligent Systems
Information Systems
Artificial Intelligence
Software
Related publications
Paraconsistent Negation and Classical Negation in Computation Tree Logic
Potoses: Categorical Paraconsistent Universum for Paraconsistent Logic and Mathematics
Logical Investigations
BOOK REVIEW: CARNIELLI, W., CONIGLIO, M. Paraconsistent Logic: Consistency, Contradiction and Negation. Logic, Epistemology, and the Unity of Science Series. (New York: Springer, 2016. ISSN: 2214-9775.)
Manuscrito
Philosophy
Remarks on an Algebraic Semantics for Paraconsistent Nelson's Logic
Manuscrito
Philosophy
Logic Programming in a Fragment of Intuitionistic Linear Logic
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Searching Contexts in Paraconsistent Rough Description Logic
Journal of the Brazilian Computer Society
Computer Science
A Semantic Hierarchy for Intuitionistic Logic
Indagationes Mathematicae
Mathematics
Natural Deduction for Intuitionistic Linear Logic
Annals of Pure and Applied Logic
Logic
The Alternating Fixpoint of Logic Programs With Negation