Bova, S., and F. Montagna, Proof search in Hájek’s Basic Logic. ACM Trans. Comput. Log. 9:21:1–21:26, 2008.
Bova, S., and F. Montagna, The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete. Theoretical Computer Science 410(12):1143–1158, 2009.
Article
Google Scholar
Ciabattoni, A., On Urquhart’s C logic. In 30th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2000, Portland, Oregon, USA, May 23-25, 2000, Proceedings IEEE Computer Society, 2000, pp. 113–120.
Ciabattoni, A., and C. G. Fermüller, Hypersequents as a uniform framework for Urquhart’s C, MTL and related logics. In 31st IEEE International Symposium on Multiple-Valued Logic, ISMVL 2001, Warsaw, Poland, May 22-24, 2001, Proceedings IEEE Computer Society, 2001, pp. 227–232.
Cignoli, R., F. Esteva, L. Godo, and A. Torrens. Basic fuzzy logic is the logic of continuous t-norms and their residua. Soft Computing 4(2):106–112, 2000.
Article
Google Scholar
Hájek, P., Basic fuzzy logic and BL-algebras. Soft Computing 2(3):124–128, 1998.
Article
Google Scholar
Jipsen, P., and F. Montagna, On the structure of generalized BL-algebras. Algebra Universalis 55(2):227–238, 2006.
Article
Google Scholar
Kripke, S. A., Semantical analysis of intuitionistic logic I. In J.N. Crossley and M.A.E. Dummett, (eds.), Formal Systems and Recursive Functions, volume 40 of Studies in Logic and the Foundations of Mathematics, Elsevier, 1965, pp. 92–130.
Kułacka, A., Tableau calculus for basic fuzzy logic BL. In A. Laurent, O. Strauss, A. Bouchon-Meunier, and R. R. Yager, (eds.), Information Processing and Management of Uncertainty in Knowledge-Based Systems. Springer International Publishing, Cham, 2014, pp. 325–334.
Kułacka, A., Propositional Fuzzy Logics: Tableaux and Strong Completeness. PhD thesis, Imperial College London, London, UK, 2017.
Kułacka, A., D. Pattinson, and L. Schröder, Syntactic labelled tableaux for Łukasiewicz fuzzy ALC. In IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013, pp. 962–968.
Méndez, J. M., and F. Salto, Urquhart’s C with intuitionistic negation: Dummett’s LC without the contraction axiom. Notre Dame J. Formal Logic 36(3):407–413, 07 1995.
Negri, S., Proof analysis in modal logic. Journal of Philosophical Logic 34(5-6):507–544, 2005.
Article
Google Scholar
Negri, S., and J. von Plato, Proof Analysis: A Contribution to Hilbert’s Last Problem. Cambridge University Press, 2011.
Olivetti, N., Tableaux for Łukasiewicz infinite-valued logic. Studia Logica 73(1):81–111, 2003.
Article
Google Scholar