Object logic and morphism logic

DOI10.2969/JMSJ/02440684MaRDI QIDQ2553431zbMATH OpenOpenAlexFDO

Authors Nobuyoshi Motohashi

Publication date 1972

Published in Journal of the Mathematical Society of Japan (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2969/jmsj/02440684

Mathematics Subject Classification ID

General logic (03B99) Proof theory and constructive mathematics (03F99)

Cited in

(3)

• Non-elementary speed-ups in logic calculi
• A new theorem on definability in a positive second order logic with countable conjunctions and disjunctions
• Some investigations on many valued logics

This page was built for publication: Object logic and morphism logic

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