Mixed-valued predicate calculi

DOI10.1007/BF02125224zbMath0317.02008MaRDI QIDQ1221737

Helena Rasiowa

Publication date: 1975

Published in: Studia Logica (Search for Journal in Brave)

Mathematics Subject Classification ID

Many-valued logic (03B50)

Cites Work

• Linear reasoning. A new form of the Herbrand-Gentzen theorem
• Logic with truth values in A linearly ordered heyting algebra
• Poet algebras and pseudo-Post algebras
• A note on Post algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Mixed-valued predicate calculi