Semantical analysis of superrelevant predicate logics with quantification

DOI10.1305/NDJFL/1093637929MaRDI QIDQ1109761zbMATH OpenOpenAlexFDO

Authors Mirosław Szatkowski

Publication date 1988

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1093637929

zbMATH Keywords

algebraic semanticsquantified relevant logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• 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

Cited in

(5)

• 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)