System disruptions
There are recurring service disruptions on some of the search portals due to high traffic. We are working to resolve the issue, you may temporarily encounter an error message.
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Algorithmic Correspondence for Relevance Logics. II. Inductive Formulae in Flat Languages for Relevance Logics
Stockholm University, Faculty of Humanities, Department of Philosophy. University of the Witwatersrand, South Africa.ORCID iD: 0000-0002-0157-1644
Number of Authors: 22025 (English)In: New Directions in Relevant Logic / [ed] Igor Sedlár; Shawn Standefer; Andrew Tedder, Springer Science+Business Media B.V., 2025, p. 121-151Chapter in book (Refereed)
Abstract [en]

This paper is a follow-up to our recent work, where we apply and extend the theory and methods of algorithmic correspondence theory previously developed for modal logics to the language ℒR of relevance logics with respect to their standard Routley-Meyer relational semantics. In the above mentioned precursor of the present work we develop a non-deterministic algorithmic procedure PEARL for computing first-order equivalents in terms of that semantics and proving canonicity of formulae of a language ℒR+ extending ℒR with all residuals and adjoints of the connectives in ℒR. We identified a large syntactically defined class of inductive formulae in ℒR, and showed that PEARL succeeds for every so defined inductive formula. In this work we present an alternative approach to defining inductive formulae for relevance logics, originally developed for polyadic modal logics in earlier works by Goranko and Vakarelov, based on a rewriting of the language ℒR that allows composing logical connectives into composite ‘box’ and ‘diamond’ terms that enable a ‘flat’ representation of formulae of ℒR, thus providing a technically simplified definition of the class of inductive formulae. We show that, modulo translation, the two approaches define the same class of inductive formulae, and explain how PEARL can be modified to work on ‘flat’ inductive formulae.

Place, publisher, year, edition, pages
Springer Science+Business Media B.V., 2025. p. 121-151
Series
Trends in Logic, ISSN 1572-6126, E-ISSN 2212-7313 ; 63
Keywords [en]
Algorithmic correspondence, Inductive formulae, Relevance logic, Routley-Meyer relational semantics
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:su:diva-240073DOI: 10.1007/978-3-031-69940-5_6Scopus ID: 2-s2.0-85218055907ISBN: 978-3-031-69939-9 (print)OAI: oai:DiVA.org:su-240073DiVA, id: diva2:1941835
Available from: 2025-03-03 Created: 2025-03-03 Last updated: 2025-03-03Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Goranko, Valentin

Search in DiVA

By author/editor
Goranko, Valentin
By organisation
Department of Philosophy
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 89 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf