Semantical analysis of superrelevant predicate logics with quantification
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.
- scientific article; zbMATH DE number 1354010
- On algebraisation of superintuitionistic predicate logics
- scientific article; zbMATH DE number 3906478
- Maximal Kripke-type semantics for modal and superintuitionistic predicate logics
- scientific article; zbMATH DE number 795162
- An alternative semantics for quantified relevant logic
- Syntax and semantics of superintuitionistic logics
- An admissible semantics for propositionally quantified relevant logics
- scientific article; zbMATH DE number 2062214
- scientific article; zbMATH DE number 4021104
- Semantics for quantified relevance logic
- At least not false, at most possible: between truth and assertibility of superlative quantifiers
- Some Model‐Theoretic Results for the Relevant Logic with Quantification
- Model existence theorem in superrelevant predicate logics
- Quantifying over propositions in relevance logic: nonaxiomatisability of primary interpretations of ∀p and ∃p
This page was built for publication: Semantical analysis of superrelevant predicate logics with quantification
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1109761)
