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