Information gaps as communication needs: A new semantic foundation for some non-classical logics [Book Review]
Journal of Logic, Language and Information 6 (1):63-99 (1997)
AbstractSemantics connected to some information based metaphor are well-known in logic literature: a paradigmatic example is Kripke semantic for Intuitionistic Logic. In this paper we start from the concrete problem of providing suitable logic-algebraic models for the calculus of attribute dependencies in Formal Contexts with information gaps and we obtain an intuitive model based on the notion of passage of information showing that Kleene algebras, semi-simple Nelson algebras, three-valued ukasiewicz algebras and Post algebras of order three are, in a sense, naturally and directly connected to partially defined information systems. In this way wecan provide for these logic-algebraic structures a raison dêetre different from the original motivations concerning, for instance, computability theory.
Similar books and articles
Algebraic Kripke sheaf semantics for non-classical predicate logics.Nobu-Yuki Suzuki - 1999 - Studia Logica 63 (3):387-416.
Modalities in linear logic weaker than the exponential “of course”: Algebraic and relational semantics. [REVIEW]Anna Bucalo - 1994 - Journal of Logic, Language and Information 3 (3):211-232.
Kripke semantics for knowledge representation logics.Ewa Orłowska - 1990 - Studia Logica 49 (2):255 - 272.
The completeness of the factor semantics for łukasiewicz's infinite-valued logics.Vladimir L. Vasyukov - 1993 - Studia Logica 52 (1):143 - 167.
Pre-cognitive Semantic Information.Orlin Vakarelov - 2010 - Knowledge, Technology & Policy 23 (1-2):193-226.
Topological representations of post algebras of order ω+ and open theories based on ω+-valued post logic.Helena Rasiowa - 1985 - Studia Logica 44 (4):353 - 368.
Added to PP
Historical graph of downloads
Citations of this work
Advances in Natural Deduction: A Celebration of Dag Prawitz's Work.Luiz Carlos Pereira & Edward Hermann Haeusler (eds.) - 2012 - Dordrecht, Netherland: Springer.
References found in this work
Informal Rigour and Completeness Proofs.Georg Kreisel - 1967 - In Imre Lakatos (ed.), Problems in the Philosophy of Mathematics. North-Holland. pp. 138--157.
Notes on N-lattices and constructive logic with strong negation.D. Vakarelov - 1977 - Studia Logica 36 (1-2):109-125.
Rough sets.Zdzislaw Pawlak, Jerzy Grzymala-Busse, Roman Slowinski & Wojciech Ziarko - 1995 - Commun. Acm 38 (11):88--95.
Georg Kreisel. Mathematical logic. Lectures on modern mathematics, vol. 3, edited by T. L. Saaty, John Wiley & Sons, Inc., New York, London, and Sydney, 1965, pp. 95–195. [REVIEW]R. E. Vesley - 1967 - Journal of Symbolic Logic 32 (3):419-420.