Relational proof system for relevant logics

DOI10.2307/2275375zbMath0794.03031OpenAlexW2150687612MaRDI QIDQ4032669

Ewa S. 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)

Related Items (6)

Implementing a relational theorem prover for modal logic ⋮ An efficient relational deductive system for propositional non-classical logics ⋮ Rasiowa-Sikorski proof system for the non-Fregean sentential logic SCI ★ ⋮ Relational semantics and a relational proof system for full Lambek calculus ⋮ Rasiowa-Sikorski deduction systems in computer science applications. ⋮ Equational Reasoning in Non-Classical Logics

Cites Work

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

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