Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Roberto Cignoli

Remarks on an Algebraic Semantics for Paraconsistent Nelson's Logic

Manuscrito
Philosophy
2011English

Related publications

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

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

Privacy PolicyRefund Policy