Note on grammatical translations of logical calculi

DOI10.1007/BF01794982zbMath0784.03007OpenAlexW2090711991MaRDI QIDQ1204116

Stanisław Krajewski

Publication date: 1 September 1993

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01794982

zbMATH Keywords

intuitionistic logicmodal logicsdependence logicrelatedness logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Classical propositional logic (03B05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cites Work

• Unnamed Item

This page was built for publication: Note on grammatical translations of logical calculi