A logic for paraconsistent transition systems

DOI10.4204/EPTCS.358.20MaRDI QIDQ6659915zbMATH OpenFDO

Authors Alexandre Madeira, L. S. Barbosa

Publication date 9 January 2025

Full work available at URL https://doi.org/10.4204/EPTCS.358.20

Mathematics Subject Classification ID

General logic (03Bxx)

Cites work

• An exercise on the generation of many-valued dynamic logics
• Canonical extensions and relational representations of lattices with negation
• Four-valued modal logic: Kripke semantics and duality
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• On extensions of intermediate logics by strong negation
• On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
• Paraconsistent logic: consistency, contradiction and negation
• Propositional calculus for contradictory deductive systems
• Towards paraconsistent engineering

Cited in

(3)

• Structured specification of paraconsistent transition systems
• Paraconsistent relations as a variant of Kleene algebras
• Paraconsistent transition structures: compositional principles and a modal logic

This page was built for publication: A logic for paraconsistent transition systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6659915)