scientific article; zbMATH DE number 4210100

MaRDI QIDQ3358704zbMATH OpenFDO

Authors Achille C. Varzi

Publication date 1990

zbMATH Keywords

axiomatizationsformal systems for propositional logicssemanticssentential logics

Mathematics Subject Classification ID

Classical propositional logic (03B05)

Recommendations

• Semicomplemented Lattices and the Finite Model Property
• scientific article; zbMATH DE number 2072512
• Paraconsistency in classical logic
• scientific article; zbMATH DE number 5722454
• scientific article; zbMATH DE number 3841824

Cited in

(16)

• Systems of sentence logic with trans-atomic units
• On a certain formalization of antonyms logic
• Paraconsistency in classical logic
• A sound and complete proof theory for propositional logical contingencies
• A sequent calculus for a logic of contingencies
• Fractional semantics for classical logic
• Extending metacompleteness to systems with classical formulae
• Semicomplemented Lattices and the Finite Model Property
• A sequent calculus for skeptical Default Logic
• Sequent calculi for default and autoepistemic logics
• scientific article; zbMATH DE number 232631 (Why is no real title available?)
• Cut elimination by unthreading
• Complementary proof nets for classical logic
• A hybrid calculus for the validities and invalidities of classical propositional logic
• A hypersequent calculus for classical contingencies
• Inside classical logic: truth, contradictions, fractionality

This page was built for publication:

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