Relational proof system for relevant logics
From MaRDI portal
Publication:4032669
DOI10.2307/2275375zbMath0794.03031OpenAlexW2150687612MaRDI 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
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
This page was built for publication: Relational proof system for relevant logics