Ein Verfahren Zur Axiomatisierung Der Kontradiktionen Gewisser Zweiwertiger Aussagenkalküle

DOI10.1002/MALQ.19600061508zbMath0095.00701OpenAlexW2105920619MaRDI QIDQ3272463

Günter Asser, Wolfgang Rautenberg

Publication date: 1960

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19600061508

zbMATH Keywords

philosophy and foundations of mathematics

Related Items (1)

2-element matrices

This page was built for publication: Ein Verfahren Zur Axiomatisierung Der Kontradiktionen Gewisser Zweiwertiger Aussagenkalküle