Relational proof system for relevant logics

Journal of Symbolic Logic 57 (4):1425-1440 (1992)
Abstract
A method is presented for constructing natural deduction-style systems for propositional relevant logics. The method consists in first translating formulas of relevant logics into ternary relations, and then defining deduction rules for a corresponding logic of ternary relations. Proof systems of that form are given for various relevant logics. A class of algebras of ternary relations is introduced that provides a relation-algebraic semantics for relevant logics
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2275375
Options
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 28,840
Through your library
References found in this work BETA
Proof Theories for Semilattice Logics.Steve Giambrone & Alasdaire Urquhart - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (5):433-439.

Add more references

Citations of this work BETA
Equational Reasoning in Non-Classical Logics.Marcelo Frias & Ewa Orlowska - 1998 - Journal of Applied Non-Classical Logics 8 (1-2):27-66.
Rasiowa-Sikorski Proof System for the Non-Fregean Sentential Logic SCI.Joanna Golinska-Pilarek - 2007 - Journal of Applied Non-Classical Logics 17 (4):509–517.

Add more citations

Similar books and articles

Monthly downloads

Added to index

2009-01-28

Total downloads

12 ( #380,702 of 2,177,988 )

Recent downloads (6 months)

1 ( #317,698 of 2,177,988 )

How can I increase my downloads?

My notes
Sign in to use this feature


Discussion
Order:
There  are no threads in this forum
Nothing in this forum yet.

Other forums