Paper Info
Title
Model Definability in Relevant Logic.
Abstract
It is shown that the classes of Routley-Meyer models which are axiomatizable by a theory in a propositional relevant language with fusion and the Ackermann constant can be characterized by their closure under certain model-theoretic operations involving prime filter extensions, relevant directed bisimulations and disjoint unions.
Year
Venue
Keywords
2017
JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS
directed bisimulations,model definability,model theory,prime filter extensions,relevant logic,Routley-Meyer semantics
DocType
Volume
Issue
Journal
4
SP3
ISSN
Citations 
PageRank 
2055-3706
0
0.34
References 
Authors
0
1
Name
Order
Citations
PageRank
guillermo badia155.53