| dc.creator | Marcos J. | |
| dc.date | 2005 | |
| dc.date | 2015-06-26T14:06:13Z | |
| dc.date | 2015-11-26T15:00:36Z | |
| dc.date | 2015-06-26T14:06:13Z | |
| dc.date | 2015-11-26T15:00:36Z | |
| dc.date.accessioned | 2018-03-28T22:11:52Z | |
| dc.date.available | 2018-03-28T22:11:52Z | |
| dc.identifier | | |
| dc.identifier | Logique Et Analyse. , v. 48, n. 189-192, p. 279 - 300, 2005. | |
| dc.identifier | 245836 | |
| dc.identifier | | |
| dc.identifier | http://www.scopus.com/inward/record.url?eid=2-s2.0-34748849054&partnerID=40&md5=bfaa419565c20c9708ce7ec38ad7653c | |
| dc.identifier | http://www.repositorio.unicamp.br/handle/REPOSIP/93079 | |
| dc.identifier | http://repositorio.unicamp.br/jspui/handle/REPOSIP/93079 | |
| dc.identifier | 2-s2.0-34748849054 | |
| dc.identifier.uri | http://repositorioslatinoamericanos.uchile.cl/handle/2250/1256180 | |
| dc.description | [No abstract available] | |
| dc.description | 48 | |
| dc.description | 189-192 | |
| dc.description | 279 | |
| dc.description | 300 | |
| dc.description | Batens, D., Dynamic dialectical logics (1989) Paraconsistent Logic: Essays on the Inconsistent, pp. 187-217 | |
| dc.description | Béziau, J.-Y., (1997) The Paraconsistent Logic Z. Draft | |
| dc.description | 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 | |
| dc.description | Béziau, J.-Y., S5 is a paraconsistent logic and so is first-order classical logic (2002) Logical Studies, 9, pp. 301-309 | |
| dc.description | Béziau, J.-Y., Paraconsistent logic from a modal viewpoint (2005) Journal of Applied Logic, 3 (1), pp. 7-14 | |
| dc.description | 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 | |
| dc.description | Chellas, B.F., (1980) Modal Logic - An Introduction | |
| dc.description | Cowan, J.W., (1997) The Complete Lojban Language | |
| dc.description | Da Costa, N.C.A., (1963) Inconsistent Formal Systems, , http://www.cfh.ufsc.br/nel/historia_logica/sistemas_formais.htm | |
| dc.description | Da Costa, N.C.A., On the theory of inconsistent formal systems (1974) Notre Dame Journal of Formal Logic, 11, pp. 497-510 | |
| dc.description | Da Costa, N.C.A., Béziau, J.-Y., Overclassical logic (1997) Logique et Analyse (N.S.), 40 (157), pp. 31-44 | |
| dc.description | Contemporary Brazilian Research in Logic, (PART II) | |
| dc.description | Došen, K., Negative modal operators in intuitionistic logic (1984) Publications de l'Institut Mathématique (Beograd) (N.S.), 35 (49), pp. 3-14 | |
| dc.description | Garson, J., Modal logic (2003) The Stanford Encyclopedia of Philosophy, , http://plato.stanford.edu/archives/win2003/entries/logic-modal | |
| dc.description | Horn, L.R., (1989) A Natural History of Negation | |
| dc.description | Hughes, G.E., Cresswell, M.J., (1968) An Introduction to Modal Logic | |
| dc.description | Kreisel, G., Hilbert's programme and the search for automatic proof procedures (1970) Lecture Notes in Mathematics, 125, pp. 128-146 | |
| dc.description | Lewis, C.I., (1918) A Survey of Symbolic Logic | |
| dc.description | Łukasiewicz, J., A system of modal logic (1953) J. Computing Systems, 1, pp. 111-149 | |
| dc.description | Makinson, D., Some embedding theorems for modal logic (1971) Notre Dame Journal of Formal Logic, 12 (2), pp. 252-254 | |
| dc.description | Marcos, J., On a problem of da Costa (2001) CLE E-Prints, 1 (8). , http://www.cle.unicamp.br/e-prints/abstract_8.htm | |
| dc.description | 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 | |
| dc.description | 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 | |
| dc.description | 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 | |
| dc.description | Marcos, J., (2005) Admissible Falsehood and Refutable Truth | |
| dc.description | Montgomery, H.A., Routley, R., Contingency and non-contingency bases for normal modal logics (1966) Logique et Analyse (N.S.), 9, pp. 318-328 | |
| dc.description | Parsons, T., The traditional square of opposition (2004) The Stanford Encyclopedia of Philosophy, , http://plato.stanford.edu/archives/sum2004/entries/square | |
| dc.description | Rauszer, C., Semi-Boolean algebras and their applications to intuitionistic logic with dual operations (1974) Fundamente Mathematicae, 83 (3), pp. 219-249 | |
| dc.description | Segerberg, K., Classical Propositional Operators: An exercise in the foundations of logic (1982) Oxford Logic Guides, 5 | |
| dc.description | Vakarelov, D., Consistency, completeness and negation (1989) Paraconsistent Logic: Essays on the Inconsistent, pp. 328-363 | |
| dc.description | Wansing, H., A proof-theoretic proof of functional completeness for many modal and tense logics (1996) Applied Logic Series, 2, pp. 123-136 | |
| dc.language | en | |
| dc.publisher | | |
| dc.relation | Logique et Analyse | |
| dc.rights | fechado | |
| dc.source | Scopus | |
| dc.title | Nearly Every Normal Modal Logic Is Paranormal | |
| dc.type | Artículos de revistas | |
