Autoreferential semantics for many-valued modal logics

References

• Anderson , A. and Belnap , N. 1975 . Entailment: the logic of relevance and necessity , Princeton , NY : Princeton University Press .
   Google Scholar
• Beckert , B. , Hanhle , R. and Manyá , F. Transformations between signed and classical clause logic . Proceedings of the 29th IEEE International Symposium on Multiple-Valued Logics . pp. 248 – 255 . Freiburg , , Germany : IEEE Computer Society .
   Google Scholar
• Belnap , N. 1977 . “ A useful four-valued logic ” . In Modern Uses of Multiple-Valued Logic , Edited by: Dunn , J.-M. and Epstein , G. D. Reidel .
   Google Scholar
• Béziau , J.-Y. 2002 . “ Are paraconsistent negations negations? ” . In Paraconsistency: the logical way to the inconsistent , Edited by: Carnielli , W. 465 – 486 . New York : Marcel Dekker .
   Google Scholar
• Birkhoff , G. 1940 . Lattice theory , 3rd edn , Amer Mathematical Society . reprinted 1979
   Google Scholar
• Blair , H. and Subrahmanian , V. 1989 . Paraconsistent logic programming . Theoretical Computer Science , 68 : 135 – 154 .
   Web of Science ®Google Scholar
• Brink , C. , Gabbay , D. and Olhbach , H. 1993 . Towards automating duality , Saarbrucken , , Germany : Max-Planck-Institut fur Informatic . Technical Report num. MPI-I-93-220
   Google Scholar
• Bull , R. and Segerberg , K. 1984 . “ Basic modal logic ” . In Handbook of Philosophical Logic , Edited by: V . vol. II , 1 – 88 . Dodrecht : Reidel .
   Google Scholar
• Cadoli , M. and Schaerf , M. 1996 . On the complexity of entailment in propositional multivalued logics . Annals of Mathematics and Artificial Intelligence , 18 : 29 – 50 .
   Web of Science ®Google Scholar
• Carnielli , W. , Coniglio , M. and Marcos , J. 2006 . “ Logics of Formal Inconsistency ” . In Handbook of Philosophical Logic , Edited by: Gabbay , D. and Guenthner , F. vol. 14 , 1 – 93 . Kluwer Academic Publishers .
   Google Scholar
• Carnielli , W. and Marcos , J. 2002 . “ A Taxonomy of C-Systems ” . In Paraconsistency – the Logical Way to the Inconsistent, vol. 228 of Lecture Notes in Pure and Applied Mathematics , Edited by: Carnielli , W. , Coniglio , M. and D'Ottaviano , I. New York : Marcel Dekker .
   Google Scholar
• Celani , S. and Jansana , R. 1997 . A new semantics for Positive Modal Logic . Notre Dame Journal of Formal Logic ,
   Google Scholar
• Clark , D. and Davey , B. 1998 . Natural dualities for the working algebraist, vol. 57 of Cambridge studies in advanced mathematics , 1st edn , Cambridge Universty Press .
   Google Scholar
• da Costa , N. 1974 . On the theory of inconsistent formal systems . Notre Dame Journal of Formal Logic , 15 : 497 – 510 .
   Google Scholar
• Došen , K. 1986 . Negation as a modal operator . Reports on Mathematical Logic , 20 : 15 – 28 .
   Google Scholar
• Dugundji , J. 1940 . Note on a property of matrices for Lewis and Langford's calculi of propositions . Journal of Symbolic Logic , 5 : 150 – 151 .
   Google Scholar
• Dunn , J. Gaggle theory: An abstraction of Galois connections and residuation with applications to negation and various logical operations . Proceedings of Logics in AI, European Workshop, JELIA '90 . September 10-14 1990 , Amsterdam , The Netherlands. Edited by: van Eijck , J. vol. 478 , Springer . Lecture Notes in Computer Science
   Google Scholar
• Dunn , J. 1993 . “ Partial-Gaggles Applied to Logics with Restricted Structural Rules ” . In Substructural Logics , Edited by: Schroeder-Heister , P. and Došen , K. 63 – 108 . Oxford University Press .
   Google Scholar
• Dunn , J. 1995 . Positive Modal Logic . Studia Logica , 55 : 301 – 317 .
   Google Scholar
• Fitting , M. 1991 . Bilattices and the semantics of logic programming . Journal of Logic Programming , 11 : 91 – 116 .
   Google Scholar
• Gentzen , G. 1932 . Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen . Mathematische Annalen , 107 : 329 – 350 .
   Google Scholar
• Ginsberg , M. 1988 . Multivalued logics: A uniform approach to reasoning in artificial intelligence . Computational Intelligence , 4 : 265 – 316 .
   Google Scholar
• Goldblatt , R. 1974 . Semantic analysis of Orthologic . Journal of Philosophical Logic , 3 ( 1–2 ) : 19 – 35 .
   Web of Science ®Google Scholar
• Goldblatt , R. 1976a . Metamathematics of modal logic, Part II . Reports on Mathematical Logic ,
   Google Scholar
• Goldblatt , R. 1976b . Metamathematics of modal logic, Part II . Reports on Mathematical Logic ,
   Google Scholar
• Haim , M. Duality for lattices with operators: a modal logic approach http://citeseer.ist.psu.edu/haim00duality.html, 2000
   Google Scholar
• Hertz , P. 1929 . Über Axiomensysteme für beliebige Satzsysteme . Mathematische Annalen , 101 : 457 – 514 .
   Google Scholar
• Imaz , G. and Manyá , F. The satisfiability problem for multiple-valued Horn formulae . Proceedings of the 24th IEEE International Symposium onMultiple-Valued Logics (ISMVL) . pp. 250 – 256 . Boston : IEEE Computer Society .
   Google Scholar
• Jipsen , J. and Tsinakis , C. 2002 . “ A survey of Residuated lattices ” . In Ordered Algebraic Structures , Edited by: J.Martinez . 19 – 56 . Kluwer Academic Publishers .
   Google Scholar
• Kalmbach , G. 1983 . Orthomodular lattices , London : Academic Press .
   Google Scholar
• Kifer , M. and Subrahmanian , V. 1992 . Theory of generalized annotated logic programming and its applications . Journal of Logic Programming , 12 ( 4 ) : 335 – 368 .
   Google Scholar
• Kripke , S. 1965 . “ Semantical analysis of Intuitionistic logic ” . In Formal Systems and Recursive Functions , Edited by: Crossley , J. and Dummett , M. 92 – 130 . North Holland .
   Google Scholar
• Lewis , C. 1912 . Implication and the algebra of logic . Mind (New Series) , 21 : 522 – 531 .
   Google Scholar
• Łukasiewicz , J. 1953 . A system of modal logic . Journal of Computing Systems , 1 : 111 – 149 .
   Google Scholar
• Majkić , Z. Ontological encapsulation of many-valued logic . 19th Italian Symposium of Computational Logic (CILC04) . June 16–17 . Parma , , Italy
   Google Scholar
• Majkić , Z. Autoepistemic logic programming for reasoning with inconsistency . International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR) . September 7-9 2005 . London , , UK : Imperial College .
   Google Scholar
• Majkić , Z. Beyond Fuzzy: Parameterized approximations of Heyting algebras for uncertain knowledge . 2nd Indian International Conference on Artificial Intelligence (IICAI-05) . December 20-22 . Pune , , India
   Google Scholar
• Majkić , Z. FunctionalMany-valued Logic and Global Predicate Compression . Whorkshop on Multi-valued Logic Programming and Applications . August 17-20 . Seatle , WA MVLPA 2006, together with ICLP 2006
   Google Scholar
• Majkić , Z. Intuitionistic Truth-knowledge Symmetric Bilattices for Uncertainty in Intelligent Systems . Proceedings of the 3rd International IEEE Conference on Intelligent Systems (IS06) . Sept. 4-6 . London , , UK : IEEE Computer Society .
   Google Scholar
• Majkić , Z. Many-valued Logic Programming and Fixpoint Semantics for Higher-order Herbrand Models . Proceeding of the 20th Workshop on Logic Programming (WLP 2006) . February 22-24 , Vienna , Austria. Edited by: Fink , M. , Tompits , H. and S.Woltran . vol. 1843-06-02 , Technische Universität Wien .
   Google Scholar
• Majkić , Z. 2006d . New Representation Theorem for Many-valued Modal Logics http://www.geocities.com/zoran_it
   Google Scholar
• Majkić , Z. 2006e . Reduction of Many-valued Logic Programs into 2-valued Modal Logics http://www.cs.umd.edu/~zoran
   Google Scholar
• Majkić , Z. 2007 . Bilattices, Intuitionism and Truth-knowledge Duality: Concepts and Foundations . Journal of Multiple-valued Logic and Soft Computing , 0 : 1 – 40 .
   Google Scholar
• Majkić , Z. 2008 . Weakening of Intuitionistic Negation for Many-valued Paraconsistent Da Costa System . Notre Dame Journal of Formal Logics ,
   Google Scholar
• McKinsey , J. and Tarski , A. 1948 . Some Theorems About the Sentential Calculi of Lewis and Langford . Journal of Symbolic Logic , 13 : 1 – 15 .
   Google Scholar
• Nelson , D. 1959 . “ Negation and separation of concepts in construtive systems ” . In Studies in Logic and the Foundations of Mathematics , Amsterdam, North Holland : Elsevier .
   Google Scholar
• Sofronie-Stokkermans , V. 2003 . “ Representation Theorems and the semantics of non-classical logics, and applications to automated theorem proving ” . In Beyond two: theory and applications of multiple-valued logic , Edited by: Fitting , M. , Orlowska , E. and Kacprzyk , J. 59 – 100 . Physica-Verlag .
   Google Scholar
• Urquhart , A. 1978 . A topological representation theory for lattices . Algebra Universalis , 8 : 45 – 58 .
   Google Scholar