KRIPKE

swMATH1162MaRDI QIDQ13904FDOQ13904

Author name not available (Why is that?)

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

Cited In (9)

• The complexity of decision procedures in relevance logic II
• Title not available (Why is that?)
• The World's simplest axiom of choice fails
• Dual intuitionistic logic and a variety of negations: the logic of scientific research
• TABLEAUX
• GLEFatinf
• Title not available (Why is that?)
• TABLEAUX: A general theorem prover for modal logics
• Title not available (Why is that?)

This page was built for software: KRIPKE