scientific article; zbMATH DE number 589741

MaRDI QIDQ4295874zbMATH OpenFDO

Authors Luis Fariñas del Cerro, V. Lugardon

Publication date 15 June 1994

zbMATH Keywords

classical logicformal reasoningpropositional dependence logicssequent calculi

Mathematics Subject Classification ID

Classical propositional logic (03B05) Other nonclassical logic (03B60) Cut-elimination and normal-form theorems (03F05)

Recommendations

• Propositional logics of dependence
• A sequent calculus for a logic of contingencies
• Axiomatizing propositional dependence logics
• On dependence logic
• scientific article; zbMATH DE number 4061209

Cited in

(15)

• From input/output logics to conditional logics via sequents -- with provers
• Tableaux for logics of content relationship and set-assignment semantics
• Algebraic analysis of demodalised analytic implication
• Sequent Systems for Lewis’ Conditional Logics
• Dependently Sorted Logic
• scientific article; zbMATH DE number 3978447 (Why is no real title available?)
• scientific article; zbMATH DE number 4061208 (Why is no real title available?)
• Axiomatizing first-order consequences in dependence logic
• Sequent systems for compact bilinear logic
• scientific article; zbMATH DE number 2051680 (Why is no real title available?)
• THREE MODEL-THEORETIC CONSTRUCTIONS FOR GENERALIZED EPSTEIN SEMANTICS
• History of relating logic. The origin and research directions
• scientific article; zbMATH DE number 3316015 (Why is no real title available?)
• The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework)
• The mathematics of Epstein semantics

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 Q4295874)