KRIPKE

MaRDI QIDQ13904swMATHFDO

Official website http://www.filozof.uni.lodz.pl/bulletin/pdf/09_4_10.pdf

Cited in

(9)

• The World's simplest axiom of choice fails
• TABLEAUX: A general theorem prover for modal logics
• TABLEAUX
• scientific article; zbMATH DE number 3989325 (Why is no real title available?)
• GLEFatinf
• scientific article; zbMATH DE number 1761417 (Why is no real title available?)
• scientific article; zbMATH DE number 4117898 (Why is no real title available?)
• The complexity of decision procedures in relevance logic II
• Dual intuitionistic logic and a variety of negations: the logic of scientific research

This page was built for software: KRIPKE