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

DOI10.3233/FI-222123OpenAlexW4293572319MaRDI QIDQ5038570FDOQ5038570

Author name not available (Why is that?)

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

• Title not available (Why is that?)
• Sequents in many valued logic I
• Non-deterministic Multiple-valued Structures
• Multi-valued Calculi for Logics Based on Non-determinism
• Calculi for many-valued logics
• On intuitionistic many-valued logics
• Sequents in many valued logic II
• Nonstandard connectives of intuitionistic propositional logic
• Finite-valued semantics for canonical labelled calculi
• Many-valued logics of extended Gentzen style II
• Structural rules for multi-valued logics

Cited In (3)

• Non deterministic classical logic: the $\lambda\mu^{++}$-calculus
• Title not available (Why is that?)
• Calculi for many-valued logics

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)