Relational proof system for relevant logics

DOI10.2307/2275375MaRDI QIDQ4032669zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

relevant logicsrelational proof systems

Mathematics Subject Classification ID

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

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

Cites work

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

Cited in

(18)

• The Relationlog system prototype
• scientific article; zbMATH DE number 1859180 (Why is no real title available?)
• scientific article; zbMATH DE number 1501628 (Why is no real title available?)
• Implementing a relational theorem prover for modal logic K
• Rasiowa-Sikorski deduction systems in computer science applications.
• Trees for E
• A reasoning system for satisfiability of diagrammatic specifications
• Bibliography of Ewa Orłowska
• Relevant logics: from semantics to proof systems
• scientific article; zbMATH DE number 4179336 (Why is no real title available?)
• 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
• scientific article; zbMATH DE number 1735911 (Why is no real title available?)
• scientific article; zbMATH DE number 4177028 (Why is no real title available?)
• 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)