scientific article; zbMATH DE number 6841178

DOI10.23638/LMCS-14(1:10)2018MaRDI QIDQ4603449zbMATH OpenFDO

Authors Denisa Diaconescu, George Metcalfe, Laura Schnüriger

Publication date 20 February 2018

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

zbMATH Keywords

proof theorymany-valued logicmodal logicsequent calculustableau calculusabelian logicŁukasiewicz logic

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 6863647
• Modal logics, justification logics, and realization
• Modal logics of domains on the real plane
• A predicate extension of real valued logic
• Modified realizability and predicate logic
• scientific article; zbMATH DE number 35414
• scientific article; zbMATH DE number 3216186
• Actuality in propositional modal logic
• Realizability and intuitionistic logic
• Modal fixed point logics

Cites work

• scientific article; zbMATH DE number 3644821 (Why is no real title available?)
• 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 35414 (Why is no real title available?)
• scientific article; zbMATH DE number 97789 (Why is no real title available?)
• scientific article; zbMATH DE number 2063019 (Why is no real title available?)
• scientific article; zbMATH DE number 6863647 (Why is no real title available?)
• A note on infinitary continuous logic
• A qualitative fuzzy possibilistic logic
• Bi-modal Gödel logic over \([0,1]\)-valued Kripke frames
• Decidability of order-based modal logics
• Expressivity in chain-based modal logics
• Herbrand's theorem, Skolemization and proof systems for first-order Łukasiewicz logic
• Making fuzzy description logic more general
• Many-valued modal logics: a simple approach
• Metamathematics of fuzzy logic
• On modal logics of linear inequalities
• On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
• Proving termination with multiset orderings
• Reasoning within fuzzy description logics
• Sequent and hypersequent calculi for abelian and łukasiewicz logics
• Spatial reasoning in a fuzzy region connection calculus
• Standard Gödel modal logics
• Tense operators on MV-algebras and Łukasiewicz-Moisil algebras
• Towards a proof theory of Gödel modal logics
• Łukasiewicz \(\mu\)-calculus

Cited in

(7)

• Linear abelian modal logic
• UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS
• A Classical Realizability Model for a Semantical Value Restriction
• Proof theory of Riesz spaces and modal Riesz spaces
• MODAL OPERATORS ON RINGS OF CONTINUOUS FUNCTIONS
• Free modal Riesz spaces are Archimedean: a syntactic proof
• scientific article; zbMATH DE number 6863647 (Why is no real title available?)

This page was built for publication:

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