scientific article; zbMATH DE number 4179336

MaRDI QIDQ3202993zbMATH OpenFDO

Authors Ewa Orłowska

Publication date 1990

zbMATH Keywords

decomposition trees for non-degenerate formulaelogic of ternary relationsproof theoryrelational proof systemrelevant logicsemantic tableau

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Recommendations

• Relational proof system for relevant logics
• Some Model‐Theoretic Results for the Relevant Logic with Quantification
• scientific article; zbMATH DE number 2062375
• Situations, propositions, and information states
• Mostly Meyer modal models
• Relevance-Sensitive Truth-Trees
• scientific article; zbMATH DE number 67039
• scientific article; zbMATH DE number 4061199
• A Routley-Meyer semantics for relevant logics including TWR plus the disjunctive syllogism
• A theory of logical relevance

Cited in

(10)

• On Sahlqvist formulas in relevant logic
• Relational proof system for relevant logics
• scientific article; zbMATH DE number 1354940 (Why is no real title available?)
• scientific article; zbMATH DE number 1086491 (Why is no real title available?)
• On the ternary relation and conditionality
• Relevant logics: from semantics to proof systems
• Relevance-Sensitive Truth-Trees
• Tarskian Classical Relevant Logic
• Ternary relations and relevant semantics
• Bibliography of Ewa Orłowska

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