Remarks on an Algebraic Semantics for Paraconsistent Nelson's Logic

Manuscrito - Brazil
doi 10.1590/s0100-60452011000100005
Full Text
Abstract

Available in full text

Categories
Philosophy
Date
Authors
Publisher

FapUNIFESP (SciELO)

Related search

Many-Valued Logic: Beyond Algebraic Semantics

Soft Computing
GeometrySoftwareTheoretical Computer ScienceTopology
2012English

Potoses: Categorical Paraconsistent Universum for Paraconsistent Logic and Mathematics

Logical Investigations
2017English

Logic Programming From the Perspective of Algebraic Semantics

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
1996English

Some Remarks on an Algebraic Identity.

Mathematica Scandinavica
Mathematics
1960English

An Algebraic Semantics for QVT-Relations Check-Only Transformations

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2012English

Algebraic Framework for Synchronous Language Semantics

2013English

Bialgebraic Semantics for Logic Programming

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Truthmaker Semantics for Relevant Logic

Journal of Philosophical Logic
Philosophy
2020English

Paraconsistent Logic and Weakening of Intuitionistic Negation

Journal of Intelligent Systems
Information SystemsArtificial IntelligenceSoftware
2012English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy