scientific article; zbMATH DE number 753776

zbMATH Open0823.03013MaRDI QIDQ4698609FDOQ4698609

Luis Fariñas del Cerro, Gabriella Crocco

Publication date: 31 October 1995

Title of this publication is not available (Why is that?)

Recommendations

• A paraconsistent and substructural conditional logic
• Restricted arrow
• scientific article; zbMATH DE number 1256282
• A sequent formulation of conditional logic based on belief change operations
• Conditional logic \(C _{b }\) and its tableau system

zbMATH Keywords

data structuressubstructural logicsconditional logicssequent systemssecond-degree sequents

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Cut-elimination and normal-form theorems (03F05) Logic in artificial intelligence (68T27)

Cited In (5)

• Sequent Systems for Lewis’ Conditional Logics
• Logic and structure
• Structuralist logic: implications, inferences, and consequences
• Tarskian Structured Consequence Relations and Functional Completeness
• Title not available (Why is that?)

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