Formal axiomatic theories based on a three-valued logic

DOI10.1007/s10958-005-0353-2zbMath1145.03014OpenAlexW2052609868MaRDI QIDQ937906

I. D. Zaslavskiĭ

Publication date: 18 August 2008

Published in: Journal of Mathematical Sciences (New York) (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10958-005-0353-2

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Many-valued logic (03B50) Relative consistency and interpretations (03F25)

Related Items (1)

Fuzzy constructive logic

Cites Work

• Sequents in many valued logic I
• Sequents in many valued logic II
• Extensions of some theorems of Gödel and Church
• Dual realizability in symmetric logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Formal axiomatic theories based on a three-valued logic