On a semantics for non-classical logics

DOI10.3792/PJA/1195519346MaRDI QIDQ4401439zbMATH OpenOpenAlexFDO

Authors Satoru Nagai

Publication date 1973

Published in Proceedings of the Japan Academy, Series A, Mathematical Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3792/pja/1195519346

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Classical first-order logic (03B10) Intermediate logics (03B55) Model theory (03C99)

Cites work

• A study of intermediate predicate logics
• Algebraic semantics for modal logics I
• Incompleteness of semantics for intermediate predicate logics, I. Kripke's Semantics

This page was built for publication: On a semantics for non-classical logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4401439)