Probabilized Sequent Calculus and Natural Deduction System for Classical Logic (Q5024718)

From MaRDI portal
scientific article; zbMATH DE number 7465321
Language Label Description Also known as
English
Probabilized Sequent Calculus and Natural Deduction System for Classical Logic
scientific article; zbMATH DE number 7465321

    Statements

    Identifiers