A Note on Calculi for Non-deterministic Many-valued Logics

DOI10.3233/FI-222123MaRDI QIDQ5038570zbMATH OpenOpenAlexFDO

Authors

Publication date 7 October 2022

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2112.07377

Mathematics Subject Classification ID

Computer science (68-XX)

Recommendations

• Calculi for many-valued logics
• Multi-valued Calculi for Logics Based on Non-determinism
• Tree-like proof systems for finitely-many valued non-deterministic consequence relations
• Non-deterministic Multiple-valued Structures
• scientific article; zbMATH DE number 2109539

Cites work

• Calculi for many-valued logics
• Finite-valued semantics for canonical labelled calculi
• scientific article; zbMATH DE number 3273877 (Why is no real title available?)
• Many-valued logics of extended Gentzen style II
• Multi-valued Calculi for Logics Based on Non-determinism
• Non-deterministic Multiple-valued Structures
• Nonstandard connectives of intuitionistic propositional logic
• On intuitionistic many-valued logics
• Sequents in many valued logic I
• Sequents in many valued logic II
• Structural rules for multi-valued logics

Cited in

(4)

• Calculi for many-valued logics
• scientific article; zbMATH DE number 1696719 (Why is no real title available?)
• Non deterministic classical logic: the $\lambda\mu^{++}$-calculus
• Axiomatizing non-deterministic many-valued generalized consequence relations

This page was built for publication: A Note on Calculi for Non-deterministic Many-valued Logics

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