Paper Info
Title
THE RELEVANT FRAGMENT OF FIRST ORDER LOGIC
Abstract
Under a proper translation, the languages of propositional (and quantified relevant logic) with an absurdity constant are characterized as the fragments of first order logic preserved under (world-object) relevant directed bisimulations. Furthermore, the properties of pointed models axiomatizable by sets of propositional relevant formulas have a purely algebraic characterization. Finally, a form of the interpolation property holds for the relevant fragment of first order logic.
Year
DOI
Venue
2016
10.1017/S1755020315000313
REVIEW OF SYMBOLIC LOGIC
DocType
Volume
Issue
Journal
9
1
ISSN
Citations 
PageRank 
1755-0203
0
0.34
References 
Authors
0
1
Name
Order
Citations
PageRank
guillermo badia155.53