Intuitionistic propositional logic with galois connections

Logic Journal of the IGPL

Volumn 18, Issue 6, 2010, Pages 837-858

  Dzik, Wojciech ^a   Järvinen, Jouni ^b   Kondo, Michiro ^c  

^a UNIVERSITY OF SILESIA   (Poland)

^b UNIVERSITY OF TURKU   (Finland)

^c TOKYO DENKI UNIVERSITY   (Japan)

Author keywords

Algebraic semantics; Galois connection; Intuitionistic logic; Kripke semantics; Representation

Indexed keywords

ALGEBRA; COMPUTER CIRCUITS; SEMANTICS;

ALGEBRAIC SEMANTIC; GALOIS CONNECTION; INFERENCE RULES; INTUITIONISTIC LOGIC; INTUITIONISTIC PROPOSITIONAL LOGIC; KRIPKE SEMANTICS; KRIPKE-STYLE SEMANTICS; MODUS PONENS; PERFORMANCE; REPRESENTATION;

FORMAL LOGIC;

EID: 78049412367     PISSN: 13670751     EISSN: 13689894     Source Type: Journal    
DOI: 10.1093/jigpal/jzp057     Document Type: Article

References (17)

1. Raymond Balbes and Philip Dwinger, Distributive Lattices, University of Missouri Press, Columbia, Missouri, 1974
2. P. N. Benton, A mixed linear and non-linear logic: proofs, terms and models (extended abstract), Lecture Notes in Computer Science 933 (1995), 121-135.
3. Gavin M. Bierman and Valeria de Paiva, On an intuitionistic modal logic, Studia Logica 65 (2000), 383-416.
4. Patrick Blackburn, Maarten de Rijke, and Yde Venema, Modal Logic, Cambridge University Press, 2001
5. Stanley N. Burris and H. P. Sankappanavar, A Course in Universal Algebra, Graduate Texts in Mathematics, vol. 78, Springer-Verlag, New York, Heidelberg, Berlin, 1981.
6. Brian A. Davey and Hilary A. Priestley, Introduction to Lattices and Order, Second Edition, Cambridge University Press, 2002.
7. J. Michael Dunn, Positive modal logic, Studia Logica 55 (1995), 301-317.
8. M. Erné, J. Koslowski, A. Melton, and G. E. Strecker, A primer on Galois connections, Annals of the New York Academy of Sciences 704 (1993), 103-125.
9. W. B. Ewald, Intuitionistic tense and modal logic, The Journal of Symbolic Logic 51 (1986), 166-179.
10. Joseph A. Goguen, L-fuzzy sets, Journal of Mathematical Analysis and Applications 18 (1967), 145-174.
11. George Grätzer, General Lattice Theory, Second Edition, Birkhäuser, Basel, 1998
12. Jouni Järvinen, Michiro Kondo, and Jari Kortelainen, Logics from Galois connections, International Journal of Approximate Reasoning 49 (2008), 595-606
13. Jouni Järvinen and Jari Kortelainen, A unifying study between modal-like operators, topologies, and fuzzy sets, Fuzzy Sets and Systems 158 (2007), 1217-1225
14. Bjarni Jónsson and Alfred Tarski, Boolean algebras with operators. Part I, American Journal of Mathematics 73 (1951), 891-939.
15. Ewa Orlowska and Ingrid Rewitzky, Discrete dualities for Heyting algebras with operators, Fundamenta Informaticae 81 (2007), 275-295
16. Zdzislaw Pawlak, Rough sets, International Journal of Computer and Information Sciences 11 (1982), 341-356
17. Helena Rasiowa and Roman Sikorski, The Mathematics of Metamathematics, Second Edition, PWN-Polish Scientific Publishers, Warsaw, 1968