Logic and Logical Philosophy 18 (3-4):191-219 (2009)

José M. Méndez
Universidad de Salamanca
The aim of this paper is to provide a Routley-Meyer semantics for Ackermann’s logics of “strenge Implikation” Π ′ and Π ′′ . Besides the Disjunctive Syllogism, this semantics validates the rules Necessitation and Assertion. Strong completeness theorems for Π ′ and Π ′′ are proved. A brief discussion on Π ′ , Π ′′ and paraconsistency is included
Keywords Ackermann’s logics  relevant logics  paraconsistent logics  Routley-Meyer semantics
Categories (categorize this paper)
Reprint years 2010
DOI 10.12775/LLP.2009.010
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 63,274
Through your library

References found in this work BETA

Paraconsistent Logic.Graham Priest - 2008 - Stanford Encyclopedia of Philosophy.
Begründung Einer Strengen Implikation.Wilhelm Ackermann - 1957 - Journal of Symbolic Logic 22 (3):327-328.

Add more references

Citations of this work BETA

Trees for E.Shawn Standefer - 2018 - Logic Journal of the IGPL 26 (3):300-315.
Cut and Gamma I: Propositional and Constant Domain R.Yale Weiss - 2020 - Review of Symbolic Logic 13 (4):887-909.

Add more citations

Similar books and articles

Neighborhoods for Entailment.Lou Goble - 2003 - Journal of Philosophical Logic 32 (5):483-529.


Added to PP index

Total views
442 ( #18,332 of 2,448,640 )

Recent downloads (6 months)
4 ( #179,444 of 2,448,640 )

How can I increase my downloads?


My notes