Paraconsistent Logic and Weakening of Intuitionistic Negation

Journal of Intelligent Systems - Germany
doi 10.1515/jisys-2012-0011
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Walter de Gruyter GmbH

Related search

Paraconsistent Negation and Classical Negation in Computation Tree Logic

2010English

Potoses: Categorical Paraconsistent Universum for Paraconsistent Logic and Mathematics

Logical Investigations
2017English

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
2018English

Remarks on an Algebraic Semantics for Paraconsistent Nelson's Logic

Manuscrito
Philosophy
2011English

Logic Programming in a Fragment of Intuitionistic Linear Logic

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
1994English

Searching Contexts in Paraconsistent Rough Description Logic

Journal of the Brazilian Computer Society
Computer Science
2015English

A Semantic Hierarchy for Intuitionistic Logic

Indagationes Mathematicae
Mathematics
2019English

Natural Deduction for Intuitionistic Linear Logic

Annals of Pure and Applied Logic
Logic
1995English

The Alternating Fixpoint of Logic Programs With Negation

1989English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy