{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,24]],"date-time":"2026-01-24T19:07:33Z","timestamp":1769281653358,"version":"3.49.0"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319485041","type":"print"},{"value":"9783319485065","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,11,24]],"date-time":"2016-11-24T00:00:00Z","timestamp":1479945600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-48506-5_13","type":"book-chapter","created":{"date-parts":[[2016,11,23]],"date-time":"2016-11-23T02:14:37Z","timestamp":1479867277000},"page":"241-269","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Expanding G\u00f6del Logic with Truth Constants and the Equality, Strict Order, Delta Operators"],"prefix":"10.1007","author":[{"given":"Du\u0161an","family":"Guller","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,11,24]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"Pavelka, J.: On fuzzy logic I, II, III. Semantical completeness of some many-valued propositional calculi. Math. Logic Q. 25, 45\u201352, 119\u2013134, 447\u2013464 (1979)","DOI":"10.1002\/malq.19790252510"},{"key":"13_CR2","series-title":"The Springer International Series in Engineering and Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-5217-8","volume-title":"Mathematical Principles of Fuzzy Logic","author":"V Nov\u00e1k","year":"1999","unstructured":"Nov\u00e1k, V., Perfilieva, I., Mo\u010dko\u0159, J.: Mathematical Principles of Fuzzy Logic. The Springer International Series in Engineering and Computer Science. Springer, New York (1999)"},{"key":"13_CR3","series-title":"Trends in Logic","volume-title":"Metamathematics of Fuzzy Logic","author":"P H\u00e1jek","year":"2001","unstructured":"H\u00e1jek, P.: Metamathematics of Fuzzy Logic. Trends in Logic. Springer, Dordrech (2001)"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"Esteva, F., Godo, L., Montagna, F.: The \u0141$$\\varPi $$ and \u0141$$\\varPi \\frac{1}{2}$$ logics: two complete fuzzy systems joining \u0141ukasiewicz and product logics. Arch. Math. Log. 40, 39\u201367 (2001)","DOI":"10.1007\/s001530050173"},{"key":"13_CR5","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1093\/logcom\/exi075","volume":"16","author":"P Savick\u00fd","year":"2006","unstructured":"Savick\u00fd, P., Cignoli, R., Esteva, F., Godo, L., Noguera, C.: On product logic with truth-constants. J. Log. Comput. 16, 205\u2013225 (2006)","journal-title":"J. Log. Comput."},{"key":"13_CR6","unstructured":"Esteva, F., Godo, L., Noguera, C.: On completeness results for the expansions with truth-constants of some predicate fuzzy logics. In: Stepnicka, M., Nov\u00e1k, V., Bodenhofer, U. (eds.) Proceedings of the 5th EUSFLAT Conference New Dimensions in Fuzzy Logic and Related Technologies, Ostrava, Czech Republic, September 11\u201314 2007, vol. 2, pp. 21\u201326 (2007). Regular Sessions, Universitas Ostraviensis"},{"key":"13_CR7","doi-asserted-by":"publisher","first-page":"597","DOI":"10.1016\/j.fss.2006.11.010","volume":"158","author":"F Esteva","year":"2007","unstructured":"Esteva, F., Gispert, J., Godo, L., Noguera, C.: Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results. Fuzzy Sets Syst. 158, 597\u2013618 (2007)","journal-title":"Fuzzy Sets Syst."},{"key":"13_CR8","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/j.apal.2009.05.014","volume":"161","author":"F Esteva","year":"2009","unstructured":"Esteva, F., Godo, L., Noguera, C.: First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties. Ann. Pure Appl. Logic 161, 185\u2013202 (2009)","journal-title":"Ann. Pure Appl. Logic"},{"key":"13_CR9","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/s00500-009-0402-8","volume":"14","author":"F Esteva","year":"2010","unstructured":"Esteva, F., Godo, L., Noguera, C.: Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics. Soft Comput. 14, 273\u2013284 (2010)","journal-title":"Soft Comput."},{"key":"13_CR10","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1016\/j.fss.2009.09.002","volume":"161","author":"F Esteva","year":"2010","unstructured":"Esteva, F., Godo, L., Noguera, C.: On expansions of WNM t-norm based logics with truth-constants. Fuzzy Sets Syst. 161, 347\u2013368 (2010)","journal-title":"Fuzzy Sets Syst."},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"Guller, D.: An order hyperresolution calculus for G\u00f6del logic - general first-order case. In: Rosa, A.C., Correia, A.D., Madani, K., Filipe, J., Kacprzyk, J. (eds.) IJCCI 2012 - Proceedings of the 4th International Joint Conference on Computational Intelligence, Barcelona, Spain, 5\u20137 October 2012, pp. 329\u2013342. SciTePress (2012)","DOI":"10.5220\/0004104103290342"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Guller, D.: A generalisation of the hyperresolution principle to first order G\u00f6del logic. In: Madani, K., Correia, A.D., Rosa, A.C., Filipe, J. (eds.) Computational Intelligence - International Joint Conference, IJCCI 2012, Barcelona, Spain, 5\u20137 October 2012. Studies in Computational Intelligence, vol. 577, pp. 159\u2013182. Springer (2015). Revised Selected Papers","DOI":"10.1007\/978-3-319-11271-8_11"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"Guller, D.: An order hyperresolution calculus for G\u00f6del logic with truth constants. In: Dourado, A., Cadenas, J.M., Filipe, J. (eds.) FCTA 2014 - Proceedings of the International Conference on Fuzzy Computation Theory and Applications, part of IJCCI 2014, Rome, Italy, 22\u201324 October 2014, pp. 37\u201352. SciTePress (2014)","DOI":"10.5220\/0005073700370052"},{"key":"13_CR14","doi-asserted-by":"publisher","unstructured":"Guller, D.: Unsatisfiable formulae of G\u00f6del logic with truth constants and , $$\\prec $$, $$\\varDelta $$ are recursively enumerable. In: Tan, Y., Shi, Y., Buarque, F., Gelbukh, A., Das, S., Engelbrecht, A. (eds.) ICSI 2015. LNCS, vol. 9142, pp. 242\u2013250. Springer, Heidelberg (2015). doi:10.1007\/978-3-319-20469-7_27","DOI":"10.1007\/978-3-319-20469-7_27"},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"Guller, D.: An order hyperresolution calculus for G\u00f6del logic with truth constants and equality, strict order, Delta. In: Rosa, A.C., Dourado, A., Correia, K.M., Filipe, J., Kacprzyk, J. (eds.) FCTA 2015 - Proceedings of the 7th International Joint Conference on Computational Intelligence, Lisbon, Portugal, 12\u201314 November 2015, pp. 31\u201346. SciTePress (2015)","DOI":"10.5220\/0005587600310046"},{"key":"13_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/978-3-642-15205-4_9","volume-title":"Computer Science Logic","author":"M Baaz","year":"2010","unstructured":"Baaz, M., Ferm\u00fcller, C.G.: A resolution mechanism for prenex G\u00f6del logic. In: Dawar, A., Veith, H. (eds.) CSL 2010. LNCS, vol. 6247, pp. 67\u201379. Springer, Heidelberg (2010). doi:10.1007\/978-3-642-15205-4_9"},{"issue":"1:20","key":"13_CR17","first-page":"1","volume":"8","author":"M Baaz","year":"2012","unstructured":"Baaz, M., Ciabattoni, A., Ferm\u00fcller, C.G.: Theorem proving for prenex G\u00f6del logic with Delta: checking validity and unsatisfiability. Logical Methods Comput. Sci. 8(1:20), 1\u201323 (2012)","journal-title":"Logical Methods Comput. Sci."},{"key":"13_CR18","volume-title":"Analysis and Interpretation of Scientific Text","author":"L Mandel\u00edkov\u00e1","year":"2012","unstructured":"Mandel\u00edkov\u00e1, L.: Analysis and Interpretation of Scientific Text. TnUni Press, Trenchin (2012)"},{"key":"13_CR19","volume-title":"Sociocultural Connections of the Language","author":"L Mandel\u00edkov\u00e1","year":"2014","unstructured":"Mandel\u00edkov\u00e1, L.: Sociocultural Connections of the Language. TnUni Press, Trenchin (2014)"},{"key":"13_CR20","doi-asserted-by":"crossref","unstructured":"Guller, D.: A DPLL procedure for the propositional G\u00f6del logic. In: Filipe, J., Kacprzyk, J. (eds.) ICFC-ICNC 2010 - Proceedings of the International Conference on Fuzzy Computation and International Conference on Neural Computation, Parts of the International Joint Conference on Computational Intelligence IJCCI 2010, Valencia, Spain, 24\u201326 October 2010, pp. 31\u201342. SciTePress (2010)","DOI":"10.5220\/0003061700310042"},{"key":"13_CR21","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1016\/S0747-7171(86)80028-1","volume":"2","author":"DA Plaisted","year":"1986","unstructured":"Plaisted, D.A., Greenbaum, S.: A structure-preserving clause form translation. J. Symb. Comput. 2, 293\u2013304 (1986)","journal-title":"J. Symb. Comput."},{"key":"13_CR22","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1016\/0747-7171(92)90009-S","volume":"14","author":"TB de la Tour","year":"1992","unstructured":"de la Tour, T.B.: An optimality result for clause form translation. J. Symb. Comput. 14, 283\u2013302 (1992)","journal-title":"J. Symb. Comput."},{"key":"13_CR23","doi-asserted-by":"publisher","first-page":"905","DOI":"10.1093\/logcom\/4.6.905","volume":"4","author":"R H\u00e4hnle","year":"1994","unstructured":"H\u00e4hnle, R.: Short conjunctive normal forms in finitely valued logics. J. Log. Comput. 4, 905\u2013927 (1994)","journal-title":"J. Log. Comput."},{"key":"13_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1007\/BFb0054274","volume-title":"Automated Deduction \u2014 CADE-15","author":"A Nonnengart","year":"1998","unstructured":"Nonnengart, A., Rock, G., Weidenbach, C.: On generating small clause normal forms. In: Kirchner, C., Kirchner, H. (eds.) CADE 1998. LNCS, vol. 1421, pp. 397\u2013411. Springer, Heidelberg (1998). doi:10.1007\/BFb0054274"},{"key":"13_CR25","unstructured":"Sheridan, D.: The optimality of a fast CNF conversion and its use with SAT. In: SAT (2004)"},{"key":"13_CR26","unstructured":"Apt, K.R.: Introduction to logic programming. Technical report CS-R8826, Centre for Mathematics and Computer Science, Amsterdam, The Netherlands (1988)"},{"key":"13_CR27","doi-asserted-by":"crossref","unstructured":"Guller, D.: On the refutational completeness of signed binary resolution and hyperresolution. Fuzzy Sets Syst. 160, 1162\u20131176 (2009). Featured Issue: Formal Methods for Fuzzy Mathematics. Approximation and Reasoning, Part II","DOI":"10.1016\/j.fss.2008.05.011"}],"container-title":["Studies in Computational Intelligence","Computational Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-48506-5_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T20:29:47Z","timestamp":1749760187000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-48506-5_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,11,24]]},"ISBN":["9783319485041","9783319485065"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-48506-5_13","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"value":"1860-949X","type":"print"},{"value":"1860-9503","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,11,24]]},"assertion":[{"value":"24 November 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"IJCCI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Joint Conference on Computational Intelligence","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Lisbon","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2015","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 November 2015","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 November 2015","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ijcci2015","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.ijcci.org\/?y=2015","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}