Linear abelian modal logic

DOI10.18778/0138-0680.2023.30MaRDI QIDQ6555699zbMATH OpenFDO

Authors Hamzeh Mohammadi

Publication date 14 June 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.30

zbMATH Keywords

abelian logiccut-eliminationhypersequent calculusmany-valued logicmodal logic

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) Cut-elimination and normal-form theorems (03F05)

Cites work

• A monadic logic of ordered abelian groups
• A qualitative fuzzy possibilistic logic
• Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions
• Continuous propositional modal logic
• scientific article; zbMATH DE number 4135919 (Why is no real title available?)
• scientific article; zbMATH DE number 4143975 (Why is no real title available?)
• scientific article; zbMATH DE number 2063019 (Why is no real title available?)
• scientific article; zbMATH DE number 6841178 (Why is no real title available?)
• scientific article; zbMATH DE number 6276267 (Why is no real title available?)
• Hypersequents, logical consequence and intermediate logics for concurrency
• Logics for belief functions on MV-algebras
• Making fuzzy description logic more general
• MV-algebras with internal states and probabilistic fuzzy logics
• Probabilistic logics based on Riesz spaces
• Proof theory for fuzzy logics
• Reasoning within fuzzy description logics
• Sequent and hypersequent calculi for abelian and łukasiewicz logics
• Tense operators on MV-algebras and Łukasiewicz-Moisil algebras
• Weakly implicative (fuzzy) logics. I: Basic properties
• Łukasiewicz \(\mu\)-calculus

Cited in

(2)

• Proof theory of abelian connexive logics
• Proof-theoretic analysis of subabelian lattice logic

This page was built for publication: Linear abelian modal logic

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