Plug and Play Negations

DOI10.1007/978-3-319-98797-2_14zbMath1439.03064OpenAlexW2896943433MaRDI QIDQ3305346

Sérgio Marcelino, Umberto Rivieccio, Carlos Caleiro

Publication date: 6 August 2020

Published in: Trends in Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-98797-2_14

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Cites Work

• Unnamed Item
• Unnamed Item
• Negative modalities, consistency and determinedness
• Residuated lattices. An algebraic glimpse at substructural logics
• What is a non-truth-functional logic?
• An algebraic approach to non-classical logics
• Intuitionistic propositional logic is polynomial-space complete
• Metamathematics of fuzzy logic
• A note on homomorphisms of Hilbert algebras
• Disjoint fibring of non-deterministic matrices
• Characterizing finite-valuedness
• Non-deterministic Multiple-valued Structures
• On the characterization of fibred logics, with applications to conservativity and finite-valuedness
• Decidability and complexity of fibred logics without shared connectives

This page was built for publication: Plug and Play Negations