Author:
Dzik Wojciech,Orłowska Ewa,van Alten Clint
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Allwein, G., Dunn, J.M.: Kripke models for linear logic. J. Symb. Logic 58, 514–545 (1993)
2. Balbes, R., Dwinger, P.: Distributive Lattices. University of Missouri Press (1974)
3. Białynicki-Birula, A., Rasiowa, H.: On constructible falsity in the constructive logic with strong negation. Colloquium Mathematicum 6, 287–310 (1958)
4. Dunn, J.M.: Star and Perp: Two Treatments of Negation. In: Tomberlin, J. (ed.) Philosophical Perspectives (Philosophy of Language and Logic), vol. 7, pp. 331–357 (1993)
5. Dunn, J.M., Hardegree, G.M.: Algebraic Methods in Philosophical Logic. Clarendon Press, Oxford (2001).
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献