Relational proof system for relevant logics

DOI10.2307/2275375zbMATH Open0794.03031OpenAlexW2150687612MaRDI QIDQ4032669FDOQ4032669

Authors: Ewa Orłowska 

Publication date: 1 April 1993

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275375

Recommendations

• scientific article; zbMATH DE number 4179336
• scientific article; zbMATH DE number 2062375
• Simplified semantics for relevant logics (and some of their rivals)
• scientific article; zbMATH DE number 4061199
• scientific article; zbMATH DE number 67039
• The American plan completed: Alternative classical-style semantics, without stars, for relevant and paraconsistent logics
• An efficient relational deductive system for propositional non-classical logics
• A Routley-Meyer semantics for relevant logics including TWR plus the disjunctive syllogism
• scientific article; zbMATH DE number 1157013
• Relevance-Sensitive Truth-Trees

zbMATH Keywords

relevant logicsrelational proof systems

Mathematics Subject Classification ID

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

Cites Work

• Gentzenization and decidability of some contraction-less relevant logics
• Proof Theories for Semilattice Logics

Cited In (18)

• The Relationlog system prototype
• Title not available (Why is that?)
• Title not available (Why is that?)
• Implementing a relational theorem prover for modal logic K
• Trees for E
• Rasiowa-Sikorski deduction systems in computer science applications.
• A reasoning system for satisfiability of diagrammatic specifications
• Bibliography of Ewa Orłowska
• Relevant logics: from semantics to proof systems
• Title not available (Why is that?)
• LOGICS FOR THE RELATIONAL SYLLOGISTIC
• Rasiowa-Sikorski proof system for the non-Fregean sentential logic SCI
• On Sahlqvist formulas in relevant logic
• Equational Reasoning in Non-Classical Logics
• An efficient relational deductive system for propositional non-classical logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Relational semantics and a relational proof system for full Lambek calculus

This page was built for publication: Relational proof system for relevant logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4032669)