scientific article; zbMATH DE number 4160691

zbMATH Open0707.03014MaRDI QIDQ3487319FDOQ3487319

Authors: Uwe Scheffler 

Publication date: 1990

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

Recommendations

• A System for Strict Implication
• Priorean strict implication, Q and related systems
• scientific article; zbMATH DE number 3318629
• scientific article; zbMATH DE number 2170850
• scientific article; zbMATH DE number 2201266
• A system of logic for partial functions under existence-dependent kleene equality
• Approximate and strong entailments in classical propositional logic systems
• A Gentzen system for conditional logic
• scientific article; zbMATH DE number 1523418
• Fully adequate Gentzen systems and the deduction theorem

zbMATH Keywords

conditionalssemanticsentailmentconditional logicaxiomatic system

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Cited In (10)

• Conditional theories
• A System for Strict Implication
• A new axiomatization of Belnap's conditional assertion
• A paraconsistent and substructural conditional logic
• A system for proper multiple-conclusion entailment
• Connexive extensions of regular conditional logic
• Title not available (Why is that?)
• Conditional logic \(C _{b }\) and its tableau system
• Title not available (Why is that?)
• Priorean strict implication, Q and related systems

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