{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T10:40:01Z","timestamp":1749724801142,"version":"3.41.0"},"reference-count":50,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Logic, Language and Information"],"published-print":{"date-parts":[[1997,1]]},"DOI":"10.1023\/a:1008286102793","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T13:47:34Z","timestamp":1040564854000},"page":"63-99","source":"Crossref","is-referenced-by-count":6,"title":["Information Gaps as Communication Needs: A New Semantic Foundation for Some Non-Classical Logics"],"prefix":"10.1007","volume":"6","author":[{"given":"Piero","family":"Pagliani","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"116420_CR1","first-page":"514","volume":"58","author":"G. Allwein","year":"1993","unstructured":"Allwein, G. and Dunn, J.M., 1993, \"Kripke models for linear logic,\" JSL\n58(2), 514\u2013544.","journal-title":"JSL"},{"key":"116420_CR2","volume-title":"Distributive Lattices","author":"R. Balbes","year":"1974","unstructured":"Balbes, R. and Dwinger, Ph., 1974, Distributive Lattices, Columbia, Missouri: University of Missouri Press."},{"key":"116420_CR3","volume-title":"\u0141ukasiewicz\u2013Moisil Algebra","author":"V. Boicescu","year":"1991","unstructured":"Boicescu, V., Filipoiu, A., Georgescu, G., and Rudeanu, S., 1991, \u0141ukasiewicz\u2013Moisil Algebra, Amsterdam: North-Holland."},{"key":"116420_CR4","doi-asserted-by":"crossref","unstructured":"Buneman, P., Jung, A., and Ohori, A., 1991, \"Using powerdomains to generalize relational databases,\" Theoretical Comp. Science, 25\u201355.","DOI":"10.1016\/0304-3975(91)90266-5"},{"key":"116420_CR5","unstructured":"Burmeister, P., 1989, \"Merkmalsimplikationen bei unsicherem Wissen,\" Technische Hochschule Darmstadt, Preprint No. 1218."},{"key":"116420_CR6","unstructured":"Burmeister, P., 1993, \"Formal concept analysis with a three-valued conceptual logic,\" Technische Hochschule Darmstadt (preliminary report)."},{"key":"116420_CR7","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/0165-0114(88)90104-2","volume":"25","author":"G. Cattaneo","year":"1988","unstructured":"Cattaneo, G. and Nistic\u00f3, G., 1988, \"Brouwer\u2013Zadeh posets and three-valued \u0141ukasiewicz posets,\" Journal of Fuzzy Sets and Systems\n25, 165\u2013190.","journal-title":"Journal of Fuzzy Sets and Systems"},{"key":"116420_CR8","doi-asserted-by":"crossref","first-page":"262","DOI":"10.1007\/BF01230621","volume":"23","author":"R. Cignoli","year":"1986","unstructured":"Cignoli, R., 1986, \"The class of Kleene algebras satisfying an interpolation property and Nelson algebras,\" Algebra Universalis\n23, 262\u2013292.","journal-title":"Algebra Universalis"},{"issue":"2","key":"116420_CR9","first-page":"747","volume":"32","author":"B. Dahn","year":"1974","unstructured":"Dahn, B., 1974, \"Kripke-style semantics for some many-valued propositional calculi,\" Bull. Polish Acad. of Sciences. Math.\n32(2), 747\u2013758.","journal-title":"Bull. Polish Acad. of Sciences. Math."},{"key":"116420_CR10","series-title":"NATO ASI Series","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1007\/978-94-009-7798-3_2","volume-title":"Ordered Sets","author":"B.A. Davey","year":"1982","unstructured":"Davey, B.A. and Duffus, D., 1982, \"Exponentiation and duality,\" pp. 43\u201395 in Ordered Sets, I. Rival, ed., NATO ASI Series 83, Dordrecht: Reidel."},{"key":"116420_CR11","unstructured":"Dunn, J.M., 1966, \"The algebra of intensional logics,\" PhD Dissertation, University of Pittsburg, 1966."},{"issue":"1","key":"116420_CR12","first-page":"65","volume":"55","author":"G. Epstein","year":"1974","unstructured":"Epstein, G. and Horn, A., 1974, \"Chain based lattices,\" Journal of Mathematics\n55(1), 65\u201384.","journal-title":"Journal of Mathematics"},{"issue":"6","key":"116420_CR13","doi-asserted-by":"crossref","first-page":"797","DOI":"10.1093\/logcom\/1.6.797","volume":"1","author":"M. Fitting","year":"1991","unstructured":"Fitting, M., 1991, \"Kleene\u2019s logic generalized,\" Journal of Logic and Computation\n1(6), 797\u2013810.","journal-title":"Journal of Logic and Computation"},{"key":"116420_CR14","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.Y. Girard","year":"1987","unstructured":"Girard, J.Y., 1987, \"Linear logic,\" Theoretical Computer Science\n50, 1\u2013102.","journal-title":"Theoretical Computer Science"},{"key":"116420_CR15","unstructured":"Halpern, J.Y. and Moses, Y., 1985, \"A guide to the modal logic of knowledge and belief: preliminary report,\" pp. 480\u2013490 in Proc. of the 9th IJCAI."},{"key":"116420_CR16","unstructured":"Iturrioz, L., 1990, \"Logiques multivalu\u00e9es. Un outil souple et pluriel,\" pp. 113\u2013138 in Mod\u00e9les logiques et syst\u00e8mes d\u2019intelligence artificielle, L. Iturrioz and A. Dussauchoy, eds., Hermes."},{"key":"116420_CR17","unstructured":"Kent, R.E., 1993, \"Rough concept analysis,\" pp. 245\u2013253 in Proc. Intern. Conference on Rough Sets and Knowledge Discovery, Banff, Canada."},{"key":"116420_CR18","volume-title":"Introduction to Metamathematics","author":"S.C. Kleene","year":"1952","unstructured":"Kleene, S.C., 1952, Introduction to Metamathematics, Amsterdam: North-Holland."},{"key":"116420_CR19","unstructured":"Kreisel, G., 1965a, \"Mathematical logic,\" pp. 95\u2013195 in Lectures in Modern Mathematics, L.S. Saaty, ed., New York."},{"key":"116420_CR20","doi-asserted-by":"crossref","unstructured":"Kreisel, G., 1965b, \"Informal rigour and completeness proofs\" (and related panel discussion), pp. 138\u2013180 in Problems in the Philosophy of Mathematics, Proc. Intern. Coll. Phil. of Science, London, Vol. I, I. Lakatos, ed., Amsterdam.","DOI":"10.1016\/S0049-237X(08)71525-8"},{"key":"116420_CR21","first-page":"1","volume":"125","author":"D. Kozen","year":"1981","unstructured":"Kozen, D., 1981, \"On the duality of dynamic algebras and Kripke models,\" LNCS\n125, 1\u201311.","journal-title":"LNCS"},{"key":"116420_CR22","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1002\/malq.19630090502","volume":"9","author":"S.A. Kripke","year":"1963","unstructured":"Kripke, S.A., 1963a, \"Semantical analysis of Modal Logic I,\" Zeitschr. Math. und Grund. Math.\n9, 67\u201396.","journal-title":"Zeitschr. Math. und Grund. Math."},{"key":"116420_CR23","first-page":"92","volume-title":"Formal Systems and Recursive Functions","author":"S.A. Kripke","year":"1963","unstructured":"Kripke, S.A., 1963b, \"Semantical analysis of intuituitionistic logic,\" pp. 92\u2013129 in Formal Systems and Recursive Functions, J.N. Crossley and M.A.E. Dummett, eds., Amsterdam: North-Holland."},{"key":"116420_CR24","first-page":"30","volume":"495","author":"L. Libkin","year":"1991","unstructured":"Libkin, L., 1991, \"A relational algebra for complex objects based on partial information,\" pp. 30\u201343 in Proc. 3rd Symp. on Fundamentals of Database Knowledge Base Systems. Lecture Notes in Comp. Science, Vol. 495.","journal-title":"Proc. 3rd Symp. on Fundamentals of Database Knowledge Base Systems"},{"key":"116420_CR25","first-page":"765","volume":"8","author":"L. Maximova","year":"1974","unstructured":"Maximova, L. and Vakarelov, D., 1974, \"Semantics for \u03c9+-valued predicate calculi,\" Bull. Polish Acad. of Sciences, Math. Astr. Phys.\n8, 765\u2013771.","journal-title":"Bull. Polish Acad. of Sciences, Math. Astr. Phys."},{"issue":"1","key":"116420_CR26","first-page":"67","volume":"30","author":"P.A. Miglioli","year":"1989","unstructured":"Miglioli, P.A., Moscato, U., Ornaghi, M., and Usberti, U., 1989, \"A constructivism based on classical truth,\" Notre Dame Journal of Formal Logic\n30(1), 67\u201390.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"116420_CR27","first-page":"359","volume":"11","author":"A. Monteiro","year":"1963","unstructured":"Monteiro, A., 1963, \"Construction des algebres de Nelson finies,\" Bull. Polish Acad. of Sciences, Math.\n11, 359\u2013362.","journal-title":"Bull. Polish Acad. of Sciences, Math."},{"key":"116420_CR28","first-page":"1","volume":"12","author":"A. Monteiro","year":"1967","unstructured":"Monteiro, A., 1967, \"Construction des algebres de \u0141ukasiewicz trivalentes dans les algebres de Boole monadiques,\" I. Math. Japonicae\n12, 1\u201323.","journal-title":"I. Math. Japonicae"},{"key":"116420_CR29","first-page":"16","volume":"14","author":"D. Nelson","year":"1949","unstructured":"Nelson, D., 1949, \"Constructible falsity,\" JSL\n14, 16\u201326.","journal-title":"JSL"},{"key":"116420_CR30","doi-asserted-by":"crossref","first-page":"329","DOI":"10.4064\/-21-1-329-339","volume":"21","author":"E. Or\u0142owska","year":"1988","unstructured":"Or\u0142owska, E., 1988, \"Kripke models with relative accessibility and their applications to inferences fromincomplete information,\" Mathem. Problems in Comput. Theory. Banach Center Publication\n21, 329\u2013339.","journal-title":"Mathem. Problems in Comput. Theory. Banach Center Publication"},{"key":"116420_CR31","doi-asserted-by":"crossref","first-page":"559","DOI":"10.1002\/malq.19890350612","volume":"35","author":"E. Or\u0142owska","year":"1989","unstructured":"Or\u0142owska, E., 1989, \"Logic for reasoning about knowledge,\" Zeitschr. f. math. Log. und Grund. d. Math.\n35, 559\u2013572.","journal-title":"Zeitschr. f. math. Log. und Grund. d. Math."},{"key":"116420_CR32","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0304-3975(84)90010-0","volume":"29","author":"E. Or\u0142owska","year":"1984","unstructured":"Or\u0142owska, E. and Pawlak, Z., 1984, \"Representation of non deterministic information,\" Theoretical Computer Science\n29, 27\u201339.","journal-title":"Theoretical Computer Science"},{"issue":"4","key":"116420_CR33","doi-asserted-by":"crossref","first-page":"515","DOI":"10.1305\/ndjfl\/1093635588","volume":"31","author":"P. Pagliani","year":"1990","unstructured":"Pagliani, P., 1990, \"Some remarks on special lattices and related constructive logics with strong negation,\" Notre Dame Journal of Formal Logic\n31(4), 515\u2013528.","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"1","key":"116420_CR34","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/FI-1993-18102","volume":"18","author":"P. Pagliani","year":"1993","unstructured":"Pagliani, P., 1993, \"From concept lattices to approximation spaces: Algebraic structures of some spaces of partial objects,\" Fundamenta Informaticae\n18(1), 1\u201325.","journal-title":"Fundamenta Informaticae"},{"key":"116420_CR35","volume-title":"A Logic-Algebraic Approach to Formal Contexts with Partial Information","author":"P. Pagliani","year":"1993","unstructured":"Pagliani, P., 1993, A Logic-Algebraic Approach to Formal Contexts with Partial Information. International Workshop on Order and Data Analysis (abstr. of the lectures). University of Massachusetts, Amherst."},{"key":"116420_CR36","doi-asserted-by":"crossref","unstructured":"Pagliani, P., 1994, \"A pure logic-algebraic analysis on rough top and rough bottom equalities,\" pp. 227\u2013236 in Proc. of Rough Sets and Knowledge Discovery \u201993, Banff, October 1993, W. Ziarko, ed., Springer-Verlag.","DOI":"10.1007\/978-1-4471-3238-7_27"},{"key":"116420_CR37","unstructured":"Pagliani, P., 1994, \"Towards a logic of rough sets systems,\" in Soft Computing, Proceedings International Conference on Rough Sets and Soft Computing, S. Jose, 1994, T.Y. Lin and A.M. Wildberg, eds., The Society for Computer Simulation."},{"key":"116420_CR38","unstructured":"Pagliani, P., \"Rough sets systems and logic algebraic structures,\" in Modelling Incomplete Information: Fundamentals and Applications, E. Or\u0142owska, ed. (forthcoming)."},{"key":"116420_CR39","first-page":"101","volume":"125","author":"R. Parikh","year":"1981","unstructured":"Parikh, R., 1981, \"Propositional dynamic logics of programs: A survey,\" LNCS\n125, 101\u2013144.","journal-title":"LNCS"},{"key":"116420_CR40","first-page":"375","volume":"131","author":"R. Parikh","year":"1982","unstructured":"Parikh, R., 1982, \"Some applications of topology to program semantics.\" LNCS\n131, 375\u2013385.","journal-title":"LNCS"},{"key":"116420_CR41","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1007\/BF01001956","volume":"11","author":"Z. Pawlak","year":"1982","unstructured":"Pawlak, Z., 1982, \"Rough sets: Algebraic and topological approach,\" Int. J. of Inf. and Comp. Science\n11, 341\u2013356.","journal-title":"Int. J. of Inf. and Comp. Science"},{"key":"116420_CR42","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-3534-4","volume-title":"Rough Sets: A Theoretical Approach to Reasoning about Data","author":"Z. Pawlak","year":"1991","unstructured":"Pawlak, Z., 1991, Rough Sets: A Theoretical Approach to Reasoning about Data, Dordrecht: Kluwer."},{"issue":"9\/10","key":"116420_CR43","first-page":"551","volume":"33","author":"Z. Pawlak","year":"1984","unstructured":"Pawlak, Z. and Rauszer, C., 1984, \"Dependency of attributes in information systems,\" Bull. Polish Acad. of Sciences., Math.\n33(9\/10), 551\u2013559.","journal-title":"Bull. Polish Acad. of Sciences., Math"},{"key":"116420_CR44","series-title":"NATO ASI Series","volume-title":"Ordered Sets","year":"1982","unstructured":"Rival, I. (ed.), 1982, Ordered Sets, NATO ASI Series 83, Dordrecht: Reidel."},{"issue":"1","key":"116420_CR45","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1007\/BF00401557","volume":"49","author":"A. Sendlewski","year":"1990","unstructured":"Sendlewski, A., 1990, \"Nelson algebras through Heyting ones: I,\" Studia Logica\n49(1), 105\u2013126.","journal-title":"Studia Logica"},{"key":"116420_CR46","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1002\/malq.19690151602","volume":"15","author":"R. Thomason","year":"1969","unstructured":"Thomason, R., 1969, \"A semantical study of constructible falsity,\" Zeitschr. Math. Logik und Grund. Math.\n15, 247\u2013257.","journal-title":"Zeitschr. Math. Logik und Grund. Math"},{"key":"116420_CR47","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/BF02121118","volume":"36","author":"D. Vakarelov","year":"1977","unstructured":"Vakarelov, D., 1977, \"Notes on N-lattices and constructive logics with strong negation,\" Studia Logica\n36, 109\u2013125.","journal-title":"Studia Logica"},{"key":"116420_CR48","unstructured":"Vikers, S., 1989, Topology via Logic. Cambridge Tracts in Theoretical Computer Science, Vol. 5."},{"key":"116420_CR49","doi-asserted-by":"crossref","first-page":"445","DOI":"10.1007\/978-94-009-7798-3_15","volume-title":"Ordered Sets","author":"R. Wille","year":"1982","unstructured":"Wille, R., 1982, \"Restructuring lattice theory,\" pp. 445\u2013470 in Ordered Sets, I. Rival, ed., Dordrecht: Reidel."},{"key":"116420_CR50","first-page":"581","volume-title":"Classification and Related Methods in Data Analysis","author":"R. Wille","year":"1988","unstructured":"Wille, R., 1988, \"Dependencies of many-valued attributes,\" pp. 581\u2013586 in Classification and Related Methods in Data Analysis, H.H. Bock, ed., Amsterdam: North-Holland."}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008286102793.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008286102793\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008286102793.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T10:18:04Z","timestamp":1749723484000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008286102793"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,1]]},"references-count":50,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1997,1]]}},"alternative-id":["116420"],"URL":"https:\/\/doi.org\/10.1023\/a:1008286102793","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"type":"print","value":"0925-8531"},{"type":"electronic","value":"1572-9583"}],"subject":[],"published":{"date-parts":[[1997,1]]}}}