Semantical analysis of superrelevant predicate logics with quantification
type: Item
instance of: scholarly article
title: Semantical analysis of superrelevant predicate logics with quantification
zbMATH Open document ID: 0656.03012
author: Mirosław Szatkowski
published in: Notre Dame Journal of Formal Logic
publication date: 1988-01-01T00:00:00Z
review text: The paper defines two generalisations of standard semantics for the quantified relevant logic RQ. The first (general relevant RPg models) are essentially Routley/Meyer (R/M) models, except that propositions may take values in an arbitrary \(C_ R\) matrix, instead of the usual two-element Boolean Algebra. The second (strictly general relevant RPg models) are essentially R/M models in which the world structure is the Cartesian product of those of two R/M models. The paper then establishes various results about these models, e.g., that they generate super-systems of RQ, and that there are super-systems of RQ that are incomplete with respect to any class of such models.
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 4070864
zbMATH Keywords: algebraic semantics
zbMATH Keywords: quantified relevant logic
reviewed by: Graham Priest
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1305/ndjfl/1093637929
OpenAlex ID: W2056489603
DOI: 10.1305/NDJFL/1093637929
Recommended article: Q4268319
Recommended article: On Algebraisation of Superintuitionistic Predicate Logics
Recommended article: Q3684108
Recommended article: Maximal Kripke-type semantics for modal and superintuitionistic predicate logics
Recommended article: Q4845311
Recommended article: An alternative semantics for quantified relevant logic
Recommended article: Syntax and semantics of superintuitionistic logics
Recommended article: An admissible semantics for propositionally quantified relevant logics
Recommended article: Q4459084
Recommended article: Q3764129
description: scientific article; zbMATH DE number 4070864