A ROUTLEY-MEYER SEMANTICS FOR ACKERMANN'S LOGICS OF "STRENGE IMPLIKATION"

被引：4

作者：

Mendez, Jose M. ^{[1
]}

机构：

[1] Univ Salamanca, Campus Unamuno,Edificio FES, Salamanca 37007, Spain

来源：

LOGIC AND LOGICAL PHILOSOPHY | 2009年 / 18卷 / 3-4期

关键词：

Ackermann's logics; Routley-Meyer semantics; relevant logics; paraconsistent logics;

D O I：

10.12775/LLP.2009.010

中图分类号：

B81 [逻辑学（论理学）];

学科分类号：

010104 ; 010105 ;

摘要：

The aim of this paper is to provide a Routley-Meyer semantics for Ackermanns logics of strenge Implikation Pi' and Pi" . Besides the Disjunctive Syllogism, this semantics validates the rules Necessitation and Assertion. Strong completeness theorems for Pi' and Pi" are proved. A brief discussion on Pi' , Pi" and paraconsistency is included.

引用

页码：191 / 219

页数：29

共 30 条

[21] Belnap-Dunn Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer's Logic B
Lopez, Sandra M.
LOGIC AND LOGICAL PHILOSOPHY, 2022, 31 (01) : 29 - 56
[22] SELECTING THE CLASS OF ALL 3-VALUED IMPLICATIVE EXPANSIONS OF KLEENE'S STRONG LOGIC CONTAINING ROUTLEY AND MEYER'S LOGIC B
Robles, Gemma
Lopez, Sandra M.
LOGIQUE ET ANALYSE, 2020, (252) : 443 - 464
[23] Generalizations of Mezhirov’s game semantics to predicate superintuitionistic logics and the Casari formula
Pyltsyn, Ivan O.
arXiv, 2023,
[24] Two Decision Procedures for Costa's Cn Logics Based on Restricted Nmatrix Semantics
Coniglio, Marcelo E.
Toledo, Guilherme, V
STUDIA LOGICA, 2022, 110 (03) : 601 - 642
[25] The lattice of all 4-valued implicative expansions of Belnap-Dunn logic containing Routley and Meyer's basic logic Bd
Robles, Gemma
Mendez, Jose M.
LOGIC JOURNAL OF THE IGPL, 2024, 32 (03) : 493 - 516
[26] Falsification-Aware Calculi and Semantics for Normal Modal Logics Including S4 and S5
Norihiro Kamide
Journal of Logic, Language and Information, 2023, 32 : 395 - 440
[27] Falsification-Aware Calculi and Semantics for Normal Modal Logics Including S4 and S5
Kamide, Norihiro
JOURNAL OF LOGIC LANGUAGE AND INFORMATION, 2023, 32 (03) : 395 - 440
[28] TERNARY RELATIONAL SEMANTICS FORTHE VARIANTS OF BN4 AND E4 WHICH CONTAINROUTLEY AND MEYER'S LOGIC B
Lopez, Sandra M.
BULLETIN OF THE SECTION OF LOGIC, 2022, 51 (01): : 27 - 56
[29] Truth tables for modal logics T and S4, by using three-valued non-deterministic level semantics
Graetz, Lukas
JOURNAL OF LOGIC AND COMPUTATION, 2022, 32 (01) : 129 - 157
[30] Two Decision Procedures for da Costa’s Cn\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$C_n$$\end{document} Logics Based on Restricted Nmatrix Semantics
Marcelo E. Coniglio
Guilherme V. Toledo
Studia Logica, 2022, 110 (3) : 601 - 642

← 1 2 3 →