scientific article; zbMATH DE number 4179336
From MaRDI portal
Publication:3202993
zbMATH Open0716.03010MaRDI QIDQ3202993FDOQ3202993
Authors: Ewa Orłowska 
Publication date: 1990
Title of this publication is not available (Why is that?)
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
proof theoryrelevant logicsemantic tableaudecomposition trees for non-degenerate formulaelogic of ternary relationsrelational proof system
Cited In (8)
- Relational proof system for relevant logics
- Ternary relations and relevant semantics
- Bibliography of Ewa Orłowska
- Relevant logics: from semantics to proof systems
- Title not available (Why is that?)
- On the ternary relation and conditionality
- Title not available (Why is that?)
- On Sahlqvist formulas in relevant logic
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)
