Sequent calculi for propositional star-free likelihood logic
From MaRDI portal
Publication:2571505
DOI10.1007/s10986-005-0001-zzbMath1076.03018OpenAlexW2017140948MaRDI QIDQ2571505
Publication date: 11 November 2005
Published in: Lithuanian Mathematical Journal (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10986-005-0001-z
correctnesscompletenesssequent calculuscut admissibilitylikelihood logicrule invertibilitystructural rule admissibility
Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Structure of proofs (03F07)
Related Items (1)
Cites Work
This page was built for publication: Sequent calculi for propositional star-free likelihood logic