Artículos de revistas
Nearly Every Normal Modal Logic Is Paranormal
Registro en:
Logique Et Analyse. , v. 48, n. 189-192, p. 279 - 300, 2005.
245836
2-s2.0-34748849054
Autor
Marcos J.
Institución
Resumen
[No abstract available] 48 189-192 279 300 Batens, D., Dynamic dialectical logics (1989) Paraconsistent Logic: Essays on the Inconsistent, pp. 187-217 Béziau, J.-Y., (1997) The Paraconsistent Logic Z. Draft Béziau, J.-Y., The future of paraconsistent logic (1999) Logical Studies, 2, pp. 1-23. , http://www.logic.ru/Russian/LogStud/02/LS_2_e_Beziau.pdf Béziau, J.-Y., S5 is a paraconsistent logic and so is first-order classical logic (2002) Logical Studies, 9, pp. 301-309 Béziau, J.-Y., Paraconsistent logic from a modal viewpoint (2005) Journal of Applied Logic, 3 (1), pp. 7-14 Carnielli, W.A., Marcos, J., A taxonomy of C-systems (2002) Lecture Notes in Pure and Applied Mathematics, 228, pp. 1-94. , http://www.cle.unicamp.br/e-prints/abstract_5.htm Chellas, B.F., (1980) Modal Logic - An Introduction Cowan, J.W., (1997) The Complete Lojban Language Da Costa, N.C.A., (1963) Inconsistent Formal Systems, , http://www.cfh.ufsc.br/nel/historia_logica/sistemas_formais.htm Da Costa, N.C.A., On the theory of inconsistent formal systems (1974) Notre Dame Journal of Formal Logic, 11, pp. 497-510 Da Costa, N.C.A., Béziau, J.-Y., Overclassical logic (1997) Logique et Analyse (N.S.), 40 (157), pp. 31-44 Contemporary Brazilian Research in Logic, (PART II) Došen, K., Negative modal operators in intuitionistic logic (1984) Publications de l'Institut Mathématique (Beograd) (N.S.), 35 (49), pp. 3-14 Garson, J., Modal logic (2003) The Stanford Encyclopedia of Philosophy, , http://plato.stanford.edu/archives/win2003/entries/logic-modal Horn, L.R., (1989) A Natural History of Negation Hughes, G.E., Cresswell, M.J., (1968) An Introduction to Modal Logic Kreisel, G., Hilbert's programme and the search for automatic proof procedures (1970) Lecture Notes in Mathematics, 125, pp. 128-146 Lewis, C.I., (1918) A Survey of Symbolic Logic Łukasiewicz, J., A system of modal logic (1953) J. Computing Systems, 1, pp. 111-149 Makinson, D., Some embedding theorems for modal logic (1971) Notre Dame Journal of Formal Logic, 12 (2), pp. 252-254 Marcos, J., On a problem of da Costa (2001) CLE E-Prints, 1 (8). , http://www.cle.unicamp.br/e-prints/abstract_8.htm Marcos, J., Ineffable inconsistencies (2005) Studies in Logic and Practical Reasoning, 4. , http://wslc.math.ist.utl.pt/ftp/pub/MarcosJ/04-M-ii.pdf Marcos, J., Logics of essence and accident (2005) Bulletin of the Section of Logic, 34 (1), pp. 43-56. , http://wslc.math.ist.utl.pt/ftp/pub/MarcosJ/04-M-LEA.pdf Marcos, J., On negation: Pure local rules (2005) Journal of Applied Logic, 3 (1), pp. 185-219. , http://www.cle.unicamp.br/e-prints/revised-version-vol_4,n_4,2004.html Marcos, J., (2005) Admissible Falsehood and Refutable Truth Montgomery, H.A., Routley, R., Contingency and non-contingency bases for normal modal logics (1966) Logique et Analyse (N.S.), 9, pp. 318-328 Parsons, T., The traditional square of opposition (2004) The Stanford Encyclopedia of Philosophy, , http://plato.stanford.edu/archives/sum2004/entries/square Rauszer, C., Semi-Boolean algebras and their applications to intuitionistic logic with dual operations (1974) Fundamente Mathematicae, 83 (3), pp. 219-249 Segerberg, K., Classical Propositional Operators: An exercise in the foundations of logic (1982) Oxford Logic Guides, 5 Vakarelov, D., Consistency, completeness and negation (1989) Paraconsistent Logic: Essays on the Inconsistent, pp. 328-363 Wansing, H., A proof-theoretic proof of functional completeness for many modal and tense logics (1996) Applied Logic Series, 2, pp. 123-136