A Kripke-style semantics for R-mingle using a binary accessibility relation
type: Item
instance of: scholarly article
title: A Kripke-style semantics for R-mingle using a binary accessibility relation
zbMATH Open document ID: 0328.02010
DOI: 10.1007/BF02120878
author: J. Michael Dunn
published in: Studia Logica
publication date: 1976-01-01T00:00:00Z
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 3513746
MaRDI profile type: Publication
cites work: Algebraic completeness results for R-mingle and its extensions
cites work: R-Mingle and beneath. Extensions of the Routley-Meyer semantics for R
cites work: Intuitive semantics for first-degree entailments and `coupled trees'
cites work: Algebraic Completeness Results for Dummett's LC and Its Extensions
cites work: Q5339292
cites work: Q5509675
cites work: Completeness of relevant quantification theories
cites work: Semantical analyses of propositional systems of Fitch and Nelson
cites work: A semantical analysis of implicational system I and of the first degree of entailment
cites work: A semantical study of constructible falsity
full work available at URL: https://doi.org/10.1007/bf02120878
OpenAlex ID: W2084171043
description: scientific article; zbMATH DE number 3513746