article

Model definability in relevant logic

  • Queensland's institutional digital repository (The University of Queensland)
  • The University of Queensland
Research footprint

At a glance

الاستشهادات
0
المراجع
0
Comments
0
Paper overview

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.

Record transparency

Publication details

OpenAlex
W2898619459
Document type
article
Language
EN
Source
Queensland's institutional digital repository (The University of Queensland)
Last metadata update
المجتمع

Comments

تسجيل الدخول للانضمام إلى النقاش.

  1. لا توجد تعليقات بعد. ابدأ النقاش.