Skip to main content
×
Home
    • Aa
    • Aa

INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY

  • GUILLERMO BADIA (a1)
Abstract
Abstract

Analogues of Scott’s isomorphism theorem, Karp’s theorem as well as results on lack of compactness and strong completeness are established for infinitary propositional relevant logics. An “interpolation theorem” (of a particular sort introduced by Barwise and van Benthem) for the infinitary quantificational boolean logic L ω holds. This yields a preservation result characterizing the expressive power of infinitary relevant languages with absurdity using the model-theoretic relation of relevant directed bisimulation as well as a Beth definability property.

Copyright
Corresponding author
*DEPARTMENT OF KNOWLEDGE-BASED MATHEMATICAL SYSTEMS JOHANNES KEPLER UNIVERSITÄT LINZ LINZ, AUSTRIA E-mail: guillebadia89@gmail.com
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Review of Symbolic Logic
  • ISSN: 1755-0203
  • EISSN: 1755-0211
  • URL: /core/journals/review-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×

Keywords:

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 2 *
Loading metrics...

Abstract views

Total abstract views: 36 *
Loading metrics...

* Views captured on Cambridge Core between 1st August 2017 - 21st August 2017. This data will be updated every 24 hours.