Negation in the context of gaggle theory

Studia Logica

Volumn 80, Issue 2-3, 2005, Pages 235-264

  Dunn, J Michael ^a   Zhou, Chunlai ^b  

^a INDIANA UNIVERSITY   (United States)

^b INDIANA UNIVERSITY   (United States)

Author keywords

Compatibility frames; Exhaustiveness frames; Gaggle theory; Minimal negation; Orthonegation; Perp

Indexed keywords

EID: 26444446926     PISSN: 00393215     EISSN: None     Source Type: Journal    
DOI: 10.1007/s11225-005-8470-y     Document Type: Conference Paper

References (14)

1. ANDERSON, A., N. BELNAP, and J.M. DUNN, Entailment: The Logic of Relevance, and Necessity, Vol 2, Princeton University Press.
2. CELANI, S., R. JANSANA, A New Semantics for Positive Modal Logic, Notre Dame Journal of Formal Logic 38, Winter 1997.
3. DOŠEN, K., Negation as a Modal Operator, Reports on Mathematical Logic, 20, 1986, pp 15-27.
4. DOŠEN, K., Negation in the Light of Modal Logic, in D. Gabbay and H. Wansing (eds), What is Negaion, 77-86, Kluwer Academic Publishers.
5. DUNN, J.M., Gaggle Theory: An Abstraction of Galois Coonections and Resuduation with Applications to Negations and Various Logical Operations. In Logics in AI, Proceedings of European Workshop JELIA 1990, LNCS 478, Berlin 1990, 31-51.
6. DUNN, J. M., Star and Perp: Two Treatments of Negation, in Philosophical Perspectives Vol. 7 ed. J. Tomberlin, pp. 331-357.
7. DUNN, J.M., Positive Modal Logic, Studia Logica, 55: 301-317, 1995.
8. DUNN, J.M., Generalized Ortho Negation, in H. Wansing (ed) Negation: A Notion in Focus, Walter de Gruyter.
9. DUNN, J.M. G. HARDGREE, Algebraic Methods in Philosophical Logic, Oxford Logic Guide 41, Oxford, 2001.
10. RAUSZER, C., An Algebraic and Kripke Style Approach to a Certain Extension of Intuitionistic Logic, Dissertations Mathematics, CLXVII, PWN, Warszawa, 1980.
11. RESTALL, G., Defining Double Negation Elimination, L. J. of IGPL, Vol. 8, No, 6, pp. 853-860, 2000.
12. SHRAMKO, Y., Dual Intuitionistic Logic and a Variety of Negations: the Logic of Scientific Research, this issue.
13. VAKARELOV, D., Theory of Negation in Certain Logical Systems: Algebraic and Semantic Approach, Ph. D Dissertation, Uniwersytet Warszawski, 1977.
14. VAKARELOV, D., Consistency, Completeness and Negations. in Paraconsistent Logic: Essays on Inconsistent, G. Priest and R. Routley eds. pp. 328-368, Philosophia Verlag, Munich, 1989.