Plug and Play Negations

DOI10.1007/978-3-319-98797-2_14MaRDI QIDQ3305346zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Dynamic negation, the one and only
• Facets of negation
• Negation as instantiation
• Another plan for negation
• scientific article; zbMATH DE number 1749203
• Negation and relevance
• scientific article; zbMATH DE number 4180779
• Configurational expression of negation
• scientific article; zbMATH DE number 1037486
• The concept of negation

Cites work

• A note on homomorphisms of Hilbert algebras
• A treatise on many-valued logics
• An algebraic approach to non-classical logics
• Characterizing finite-valuedness
• Decidability and complexity of fibred logics without shared connectives
• Disjoint fibring of non-deterministic matrices
• scientific article; zbMATH DE number 2019859 (Why is no real title available?)
• Intuitionistic propositional logic is polynomial-space complete
• Metamathematics of fuzzy logic
• Negative modalities, consistency and determinedness
• Non-deterministic Multiple-valued Structures
• On the characterization of fibred logics, with applications to conservativity and finite-valuedness
• Residuated lattices. An algebraic glimpse at substructural logics
• What is a non-truth-functional logic?

Cited in

(1)

• Some more theorems on structural entailment relations and non-deterministic semantics

This page was built for publication: Plug and Play Negations

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