Structured specification of paraconsistent transition systems

DOI10.1007/978-3-031-42441-0_1zbMATH Open1548.68128MaRDI QIDQ6536437

Luís Soares Barbosa, Alexandre Madeira, Juliana Cunha

Publication date: 3 May 2024

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Paraconsistent logics (03B53)

Cites Work

• Unnamed Item
• Unnamed Item
• Towards paraconsistent engineering
• Foundations of algebraic specification and formal software development.
• Behavioural and abstractor specifications revisited
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• On extensions of intermediate logics by strong negation
• A logic for the stepwise development of reactive systems
• Propositional calculus for contradictory deductive systems
• Four-valued modal logic: Kripke semantics and duality
• On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
• Institutions: abstract model theory for specification and programming
• Logics of Formal Inconsistency
• A logic for paraconsistent transition systems

Related Items (1)

Multifaceted formal methods and their interdisciplinary role -- from the cathedral of `components as coalgebras' to the HCI context and the open source software bazaar

This page was built for publication: Structured specification of paraconsistent transition systems