Some investigations on many valued logics

DOI10.3792/PJA/1195519753zbMath0252.02009OpenAlexW2004895882MaRDI QIDQ5665170

Nobuyoshi Motohashi

Publication date: 1972

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/1195519753

Mathematics Subject Classification ID

Model theory (03C99) Many-valued logic (03B50)

Cites Work

• Object logic and morphism logic
• Model theory on a positive second order logic with countable conjunctions and disjunctions
• Continuous Model Theory. (AM-58)
• The Craig-Lyndon interpolation theorem in 3-valued logic
• Interpolation Theorem and Characterization Theorem

This page was built for publication: Some investigations on many valued logics