Concepedia

Stefano Bonzio

SB

6

Publications

135

Citations

6

H-Index

2016

Active since

Affiliations

University of Cagliari(Current)

Palacký University Olomouc

Stefano Bonzio is an author at University of Cagliari specializing in engineering, formal methods, and automated reasoning.

Top concepts

EngineeringFormal MethodsAutomated ReasoningRepresentation TheoryPhysicsSemanticsDuality TheoryQuantum ScienceComputer ScienceQuantum Computing

Publications per year

2016–2021

6

Publications

6

On Paraconsistent Weak Kleene Logic: Axiomatisation and Algebraic Analysis

Stefano Bonzio, José Gil‐Férez, Francesco Paoli et al. · Studia Logica · 2016 · 57 citations · Full text

Engineering, Substructural Logic, Automated Reasoning +5

Residuated relational systems

Stefano Bonzio, Ivan Chajda · Asian-European Journal of Mathematics · 2017 · 23 citations · Full text

Residuated Posets, Computational Logic, Algebraic Logic +13

A Duality for Involutive Bisemilattices

Stefano Bonzio, Andrea Loi, Luisa Peruzzi · Studia Logica · 2018 · 16 citations

Representation Theory, Quantum Algebra, Algebraic Combinatorics +3

Containment Logics: Algebraic Completeness and Axiomatization

Stefano Bonzio, Michele Pra Baldi · UNICA IRIS Institutional Research Information System (University of Cagliari) · 2021 · 16 citations · Full text

Representing quantum structures as near semirings

Stefano Bonzio, Ivan Chajda, Antonio Ledda · Logic Journal of IGPL · 2016 · 12 citations · Full text

Topological Semigroups, Quantum Science, Abstract Algebra +13

Rows per page

1–5 of 6