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

DOI10.3233/FI-222123OpenAlexW4293572319MaRDI QIDQ5038570

No author found.

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)

Cites Work

• Unnamed Item
• On intuitionistic many-valued logics
• Nonstandard connectives of intuitionistic propositional logic
• Calculi for many-valued logics
• Finite-valued semantics for canonical labelled calculi
• Structural rules for multi-valued logics
• Non-deterministic Multiple-valued Structures
• Sequents in many valued logic I
• Sequents in many valued logic II
• Many-valued logics of extended Gentzen style II
• Multi-valued Calculi for Logics Based on Non-determinism

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