Useful Four-Valued Extension of the Temporal Logic KtT4

DOI10.18778/0138-0680.47.1.02zbMath1470.03014OpenAlexW2909351909WikidataQ128577255 ScholiaQ128577255MaRDI QIDQ4556005

Vincent Degauquier

Publication date: 23 November 2018

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.47.1.02

zbMATH Keywords

dualitysequent calculusmany-valued logictemporal logicparaconsistent logicbi-intuitionistic logiccut-redundancy

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Many-valued logic (03B50) Temporal logic (03B44) Paraconsistent logics (03B53)

Related Items

On a multilattice analogue of a hypersequent S5 calculus ⋮ Two proofs of the algebraic completeness theorem for multilattice logic

Uses Software

• KtSeqC

Cites Work

• On partial and paraconsistent logics
• Proof analysis in modal logic
• Anti-intuitionism and paraconsistency
• Intuitive semantics for first-degree entailments and `coupled trees'
• Partiality and its dual
• MANY-VALUED MODAL LOGICS: A SIMPLE APPROACH
• Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Useful Four-Valued Extension of the Temporal Logic KtT4