Fractional-Valued Modal Logic and Soft Bilateralism

DOI10.18778/0138-0680.2023.17OpenAlexW4385698988MaRDI QIDQ6200467

Gabriele Pulcini, Matteo Tesi, Mario Piazza

Publication date: 29 February 2024

Published in: Bulletin of the Section of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.18778/0138-0680.2023.17

zbMATH Keywords

modal logicmany-valued logicsgeneral proof theory (including proof-theoretic semantics)

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50) Proof theory in general (including proof-theoretic semantics) (03F03)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Proof-theoretic semantics, a problem with negation and prospects for modality
• Bilateralism in proof-theoretic semantics
• Hypersequents, logical consequence and intermediate logics for concurrency
• A more general general proof theory
• The idea of a proof-theoretic semantics and the meaning of the logical operations
• Some comments on Ian Rumfitt's bilateralism
• FRACTIONAL SEMANTICS FOR CLASSICAL LOGIC
• A constructive analysis of RM
• Complementary proof nets for classical logic
• FRACTIONAL-VALUED MODAL LOGIC

This page was built for publication: Fractional-Valued Modal Logic and Soft Bilateralism