scientific article; zbMATH DE number 6841178

DOI10.23638/LMCS-14(1:10)2018zbMath1459.03021arXiv1706.02854MaRDI QIDQ4603449

George Metcalfe, Laura Schnüriger, Denisa Diaconescu

Publication date: 20 February 2018

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

modal logicsequent calculusproof theorymany-valued logicŁukasiewicz logictableau calculusabelian logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Complexity of computation (including implicit computational complexity) (03D15) Cut-elimination and normal-form theorems (03F05) Many-valued logic (03B50)

Related Items (4)

MODAL OPERATORS ON RINGS OF CONTINUOUS FUNCTIONS ⋮ UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS ⋮ Free modal Riesz spaces are Archimedean: a syntactic proof ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Spatial reasoning in a fuzzy region connection calculus
• Standard Gödel modal logics
• Metamathematics of fuzzy logic
• A qualitative fuzzy possibilistic logic
• Expressivity in chain-based modal logics
• Extending maps to profinite completions in finitely generated quasivarieties
• Decidability of order-based modal logics
• Making fuzzy description logic more general
• Towards a Proof Theory of G\"odel Modal Logics
• On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
• Herbrand's Theorem, Skolemization and Proof Systems for First-Order Lukasiewicz Logic
• A note on infinitary continuous logic
• MANY-VALUED MODAL LOGICS: A SIMPLE APPROACH
• Proving termination with multiset orderings
• Łukasiewicz μ-calculus
• Bi-modal Godel logic over [0,1-valued Kripke frames]
• Sequent and hypersequent calculi for abelian and łukasiewicz logics

This page was built for publication: