Guillermo Badia Hernandez,
"Model definability in relevant logic"
, in College Publications, in IfCoLog Journal of Logics and their Applications, Seite(n) 623-646, 2017, ISSN: 2055-3714
Original Titel:
Model definability in relevant logic
Sprache des Titels:
Englisch
Original Kurzfassung:
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.
Sprache der Kurzfassung:
Englisch
Journal:
IfCoLog Journal of Logics and their Applications
Seitenreferenz:
623-646
Erscheinungsjahr:
2017
ISSN:
2055-3714
Anzahl der Seiten:
23
Reichweite:
international
Publikationstyp:
Aufsatz / Paper in sonstiger referierter Fachzeitschrift