Tableaus with invertible rules for many-valued modal propositional logics

DOI10.1023/A:1016118411572zbMath1024.03014OpenAlexW149855783MaRDI QIDQ1873250

Jurate Saskalauskaite

Publication date: 19 May 2003

Published in: Lithuanian Mathematical Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1016118411572

zbMATH Keywords

modal logictheorem provingcompletenessmany-valued logictableau systems

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35) Many-valued logic (03B50)

Related Items (1)

MANY-VALUED MODAL LOGICS: A SIMPLE APPROACH

This page was built for publication: Tableaus with invertible rules for many-valued modal propositional logics