scientific article; zbMATH DE number 1361518

MaRDI QIDQ4699336zbMATH OpenFDO

Authors Mamede Lima-Marques, Walter Carnielli

Publication date 1 February 2000

zbMATH Keywords

many-valued logicsmodal interpretationsparaconsistent logicssociety semanticstranslations

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50) Paraconsistent logics (03B53)

Recommendations

• Combining valuations with society semantics
• Society semantics for four-valued Łukasiewicz logic
• Society semantics and the logic way to collective intelligence
• Many-valued and Kripke semantics
• Two, Many, and Differently Many

Cited in

(19)

• Paraconsistent logic from a modal viewpoint
• Anti-intuitionism and paraconsistency
• A capacity-based framework encompassing Belnap-Dunn logic for reasoning about multisource information
• Deduction normalization theorem for Sette's logic and its modifications
• Weakly complete axiomatization of exogenous quantum propositional logic
• Exogenous probabilistic computation tree logic
• Rough Sets - Past, Present and Future: Some Notes
• Society semantics for four-valued Łukasiewicz logic
• First order theory for literal-paraconsistent and literal-paracomplete matrices
• Processing Information from a Set of Sources
• Combining valuations with society semantics
• Multiple agent possibilistic logic
• Society semantics and the logic way to collective intelligence
• Logical opposition and collective decisions
• LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT
• From possibility theory to paraconsistency
• Relative contradictoriness
• The disjunction-free fragment of \(\mathbf{D}_2\) is three-valued
• Limits for paraconsistent calculi

This page was built for publication:

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