A canonical model construction for substructural logics with strong negation

• Autorzy: Kamide N.
• Języki publikacji: EN

Abstrakty

EN

We introduce Kripke models for propositional substructural logics with strong negation, and show the completeness theorems for these logics using an extended Ishihara's canonical model construction method. The framework presented can deal with a broad range of substructural logics with strong negation, including a modified version of Nelson's logic N$^-$, Wansing's logic COSPL, and extended versions of Visser's basic propositional logic, positive relevant logics, Corsi's logics and M\'endez's logics.

• Wydawca: Wydawnictwo Uniwersytetu Jagiellońskiego
• Czasopismo: Reports on Mathematical Logic
• Rocznik: 2002
• Tom: No. 36
• Strony: 95--116
• Opis fizyczny: Bibliogr. 16 poz.

Twórcy

autor

Kamide N.

• Wakayama National College of Technology, Noshima 77, Nada, Gobo, Wakayama 644-0023, Japan,

Bibliografia

• [[1] Almukdad A. and Nelson D., Constructible falsity and inexact predicates, Journal of Symbolic Logic 49 (1984), pp.231-233.
• [2] Anderson A. R. and Belnap N.D. JR., Entailment Vol.1, Princeton university press, 1975.
• [3] Corsi G., Weak logics with strict implication, Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik 33 (1987), pp.389-406.
• [4] Dosen K., Sequent systems and groupoid models. I , Studia Logica 47 (1988), pp.353-385.
• [5] Dosen K., Sequent systems and groupoid models. II , Studia Logica 48 (1988), pp.41-65.
• [6] Ishihara H., A canonical model construction for substructural logics, Journal of Universal Computer Science 6 (2000), pp.155-168.
• [7] Meendez J. M., A Routley-Meyer semantics for converse Ackermann property, Journal of Philosophical Logic 16 (1987), pp.65-76.
• [8] Nelson D., Constructible falsity, Journal of Symbolic Logic 14 (1949), pp.16-26.
• [9] Ono H., A note on Visser’s basic propositional logic, manuscript, 1997.
• [10] Ono H. and Komori Y., Logics without the contraction rule, Journal of Symbolic Logic 50 (1985), pp.169-201.
• [11] Restall G., Simplified semantics for relevant logics (and some of their rivals), Journal of Philosophical Logic 22 (1993), pp.481-511.
• [12] Sasaki K., Formalizations for the consequence relation of Visser’s propositional logic, Reports on Mathematical Logic 33 (1999), pp.65-78.
• [13] Suzuki Y. and Ono. H., Hilbert style proof system for BPL, Research Report, Japan Advanced Institute of Science and Technology, 1997.
• [14] Thomason H., A semantical study of constructible falsity, Zeitschrift f¨ur Mathematische Logik und Grundlagen der Mathematik 15 (1969), pp.247-257.
• [15] Visser A., A propositional logic with explicit fixed points, Studia Logica 40 (1981), pp.155-174.
• [16] Wansing H., Informational interpretation of substructural propositional logics, Journal of Logic, Language and Information 2 (1993), pp.285-308.