A characteristic frame for positive intuitionistic and relevance logic

DOI10.1007/S11225-020-09921-2OpenAlexW3083650564MaRDI QIDQ2243544

Yale Weiss

Publication date: 11 November 2021

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-020-09921-2

zbMATH Keywords

intuitionistic logicrelevance logicsemilattice semanticsarithmetical modelscharacteristic frame

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Truth-maker semantics for intuitionistic logic
• A propositional calculus with denumerable matrix
• Proof Theories for Semilattice Logics
• An axiomatic version of positive semilattice relevance logic
• Solution to the P − W problem
• Completeness of implicational relevant logics
• A Note on the Relevance of Semilattice Relevance Logic
• R_I the Bounds of Finitude
• Completeness of weak implication
• Semantics for relevant logics

This page was built for publication: A characteristic frame for positive intuitionistic and relevance logic