Weak decidability of some modal extention of trigonometry

DOI10.4064/FM-81-3-255-260MaRDI QIDQ4770941zbMATH OpenOpenAlexFDO

Authors Herman Dishkant

Publication date 1974

Published in Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/214641

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Euclidean geometries (general) and generalizations (51M05)

This page was built for publication: Weak decidability of some modal extention of trigonometry

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