Fractional semantics for classical logic

DOI10.1017/S1755020319000431MaRDI QIDQ3389493zbMATH OpenOpenAlexWikidataFDO

Authors Mario Piazza, Gabriele Pulcini

Publication date 11 May 2021

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s1755020319000431

zbMATH Keywords

many-valued logicsclassical propositional logiclogics of knowledge and beliefproof theory and constructive mathematics

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Classical propositional logic (03B05) Many-valued logic (03B50) Cut-elimination and normal-form theorems (03F05)

Recommendations

• Typed Lambda Calculi and Applications
• On an inferential semantics for classical logic
• An informational view of classical logic
• Classical logic with partial functions
• Quantitative Comparison of Intuitionistic and Classical Logics - Full Propositional System

Cites work

• scientific article; zbMATH DE number 3122413 (Why is no real title available?)
• scientific article; zbMATH DE number 4210100 (Why is no real title available?)
• scientific article; zbMATH DE number 4055579 (Why is no real title available?)
• scientific article; zbMATH DE number 42059 (Why is no real title available?)
• scientific article; zbMATH DE number 1497485 (Why is no real title available?)
• scientific article; zbMATH DE number 3241254 (Why is no real title available?)
• A minimal classical sequent calculus free of structural rules
• Advances in proof-theoretic semantics
• Bridges between Classical and Nonmonotonic Logic
• Cut-elimination and deductive polarization in complementary classical logic
• Formal theories of truth
• Gentzen-type systems, resolution and tableaux
• Proof-theoretic semantics
• Quantales and structural rules
• Refutation systems in modal logic
• Structural proof theory. With an appendix by Aarne Ranta
• Tableau methods for classical propositional logic
• Uniqueness of axiomatic extensions of cut-free classical propositional logic
• Untersuchungen über das logische Schliessen. I

Cited in

(9)

• Cut elimination by unthreading
• Complementary proof nets for classical logic
• FRACTIONAL-VALUED MODAL LOGIC
• Abduction as deductive saturation: a proof-theoretic inquiry
• Linear logic in a refutational setting
• A hypersequent calculus for classical contingencies
• Fractional-Valued Modal Logic and Soft Bilateralism
• Inside classical logic: truth, contradictions, fractionality
• Hypersequent calculi for propositional default logics

Describes a project that uses

Uses Software

• Pesca

This page was built for publication: Fractional semantics for classical logic

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