scientific article; zbMATH DE number 4160691

MaRDI QIDQ3487319zbMATH OpenFDO

Authors Uwe Scheffler

Publication date 1990

zbMATH Keywords

axiomatic systemconditional logicconditionalsentailmentsemantics

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)

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

Cited in

(11)

• A new axiomatization of Belnap's conditional assertion
• Conditional theories
• A system for proper multiple-conclusion entailment
• Conditional logic \(C _{b }\) and its tableau system
• Connexive extensions of regular conditional logic
• scientific article; zbMATH DE number 3898862 (Why is no real title available?)
• scientific article; zbMATH DE number 536901 (Why is no real title available?)
• A paraconsistent and substructural conditional logic
• New axiomatization of Lewis' conditional logics
• A System for Strict Implication
• 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)