Relational proof system for relevant logics
From MaRDI portal
Publication:4032669
DOI10.2307/2275375zbMath0794.03031MaRDI QIDQ4032669
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
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
Related Items
Rasiowa-Sikorski deduction systems in computer science applications., 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, Equational Reasoning in Non-Classical Logics
Cites Work