Object logic and morphism logic

DOI10.2969/jmsj/02440684zbMath0239.02018OpenAlexW1985596879MaRDI QIDQ2553431

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)

Related Items (3)

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

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