On intuitionistic many-valued logics

DOI10.2969/jmsj/03830409zbMath0631.03011OpenAlexW2131950312MaRDI QIDQ1094408

Mitio Takano, Masazumi Hanazawa

Publication date: 1986

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

zbMATH Keywords

cut-eliminationGentzen's sequentsintuitionistic M- valued logicsmatrices of sequences of formulas

Mathematics Subject Classification ID

Many-valued logic (03B50)

Related Items (2)

A Note on Calculi for Non-deterministic Many-valued Logics ⋮ Calculi for many-valued logics

This page was built for publication: On intuitionistic many-valued logics