Home  - Mathematical_Logic - Discussive Logics
 Images Newsgroups
 Page 1     1-50 of 50    1

1. Bibliography On Adaptive Logics / References
First English phrasing of Discussive logic. Jaskowski and da Costa were the first to devise decent paraconsistent logics.
bibitem

Diderik Batens. Paraconsistent extensional propositional logics. Logique et Analyse [scan] A philosophical and technical study of a set of propositional paraconsistent logics that extends a basic system, here called PI . Its predicative extension, CLuN , is studied in and elsewhere. This system, seems to lead to the most efficient inconsistency-adaptive logic for applications in the philosophy of science.
Back

bibitem

Diderik Batens. Relevant implication and the weak deduction theorem. Studia Logica A Tarski-like characterization of the pure logic of relevant implication.
Back

bibitem

Diderik Batens. On some remarkable relations between paraconsistent logics, modal logics, and ambiguity logics. In Carnielli et al. , pages 275-293. [scan] Abstract
This paper concerns some connections between paraconsistent logics, modal logics (mainly ), and Ambiguity Logic AL (Classical Logic applied to a language in which all letters are indexed and in which quantifiers over such indices are present). may be defined from AL
Three kinds of connections are illustrated. First, a paraconsistent logic

2. List KWIC DDC22 510 And MSC+ZDM E-N Lexical Connection
logics) substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI 03B47 logics, Discussive logics, etc.
http://www.math.unipd.it/~biblio/kwic/msc-cdd/dml2_11_33.htm
 linear integral equations # systems of linear integral equations # systems of nonsingular linear integral equations # systems of singular linear logic and other substructural logics linear logic, Lambek calculus, BCK and BCI logics) # substructural logics (including relevance, entailment, linear mappings, matrices, determinants, theory of equation) # linear algebra. multilinear algebra. (vector spaces, linear models # generalized linear operators linear operators # equations and inequalities involving linear operators # equations with linear operators # general theory of linear operators # groups and semigroups of linear operators # special classes of linear operators (operator and matrix valued functions, etc., including analytic and meromorphic ones) # functions whose values are linear operators as elements of algebraic systems # individual linear operators) # linear relations (multivalued linear operators, their generalizations and applications # groups and semigroups of linear operators, with operator unknowns # equations involving

3. List KWIC DDC And MSC Lexical Connection
logics admitting inconsistency (paraconsistent logics, Discussive logics, etc.) 03B53 logics and related algebras (e.g., diagonalizable algebras)
http://www.mi.imati.cnr.it/~alberto/dml_11_29.htm
 linear integral equations # systems of singular linear logic and other substructural logics linear models # generalized linear operators linear operators # equations and inequalities involving linear operators # equations with linear operators # general theory of linear operators # groups and semigroups of linear operators # special classes of linear operators (operator and matrix valued functions, etc., including analytic and meromorphic ones) # functions whose values are linear operators as elements of algebraic systems # individual linear operators) # linear relations (multivalued linear operators, their generalizations and applications # groups and semigroups of linear operators, with operator unknowns # equations involving linear operators, with vector unknowns # equations and inequalities involving linear operators; topological tensor products; approximation properties # spaces of linear optimal control problems linear parabolic PDE; boundary value problems for nonlinear parabolic PDE # nonlinear boundary value problems for linear programming linear programming linear programming (transportation, multi-index, etc.) # special problems of

4. 03Bxx
03B05 Classical propositional logic; 03B10 Classical firstorder logic 03B53 logics admitting inconsistency (paraconsistent logics, Discussive logics,
http://www.ams.org/msc/03Bxx.html

5. Paraconsistent Logic (Stanford Encyclopedia Of Philosophy)
5577, 1948. da Costa, N.C.A. and Dubikajtis, L. On Jaskowski s Discussive Logic , Non-Classical logics, Modal Theory and Computability, A.I. Arruda,
http://plato.stanford.edu/entries/logic-paraconsistent/
Cite this entry Search the SEP Advanced Search Tools ...
##### Paraconsistent Logic
First published Tue Sep 24, 1996; substantive revision Wed Nov 21, 2007 The development of paraconsistent logic was initiated in order to challenge the logical principle that anything follows from contradictory premises, ex contradictione quodlibet (ECQ) . Let be a relation of logical consequence, defined either semantically or proof-theoretically. Let us say that is explosive iff for every formula A and B A A B . Classical logic, intuitionistic logic, and most other standard logics are explosive. A logic is said to be paraconsistent iff its relation of logical consequence is not explosive. The modern history of paraconsistent logic is relatively short. Yet the subject has already been shown to be an important development in logic for many reasons. These involve the motivations for the subject, its philosophical implications and its applications. In the first half of this article, we will review some of these. In the second, we will give some idea of the basic technical constructions involved in paraconsistent logics. Further discussion can be found in the references given at the end of the article.
• Motivation and Applications
##### Inconsistent but Non-Trivial Theories
A most telling reason for paraconsistent logic is the fact that there are theories which are inconsistent but non-trivial. Clearly, once we admit the existence of such theories, their underlying logics must be paraconsistent. Examples of inconsistent but non-trivial theories are easy to produce. An example can be derived from the history of science. (In fact, many examples can be given from this area.) Consider Bohr's theory of the atom. According to this, an electron orbits the nucleus of the atom without radiating energy. However, according to Maxwell's equations, which formed an integral part of the theory, an electron which is accelerating in orbit must radiate energy. Hence Bohr's account of the behaviour of the atom was inconsistent. Yet, patently, not everything concerning the behavior of electrons was inferred from it. Hence, whatever inference mechanism it was that underlay it, this must have been paraconsistent.

6. 03Bxx
03B53, logics admitting inconsistency (paraconsistent logics, Discussive logics, etc.) 03B55, Intermediate logics. 03B60, Other nonclassical logic
http://www.impan.gov.pl/LIB/MSC/03Bxx.html

7. Francisco Antonio Doria - Mathematician Of The African Diaspora
2, 5663. da Costa, Newton C. A.; Doria, Francisco A. On Ja\ skowski s Discussive logics. Studia Logica 54 (1995), no. 1, 3360. da Costa, Newton C. A.;
 Francisco Antonio Doria Born: 1945 place: Rio de Janeiro, Brazil BS (1968-Chemical Engineering) Federal University at Rio PH.D. (1977-Mathematical Physics) Brazilian Center for Physical Research; Privatdocent (1979) thesis: ; advisor: Leopold Nachbin Professor Emeritas of Communications at Federal University and Chairman of the Research Center on Mathematical Theories of Communications personal or universal URL: email: In the two years between is Bachelors degree (1968) and studying graduate mathematics,, Professor Doria trained as a securities analyst with a member of Rio's Stock Exchange. Professor Doria was one of the founders of the School of Communications at Federal University RESEARCH The recent research interests of Francisco Antonio Doria concern the existence of fast-growing recursive computable functions such that it is undecidable (in theories a sstrong as ZF) whether they are total or not. Those results have consequences to complexity theory in computer science, especially for the P NP problem. Main acievement is that [

8. Wikipedia:WikiProject Mathematics/PlanetMath Exchange/03-XX Mathematical Logic A
logics admitting inconsistency (paraconsistent logics, Discussive logics, etc. .. Currently firstorder language is a redirect to first-order logic,
http://en.wikipedia.org/wiki/Wikipedia:WikiProject_Mathematics/PlanetMath_Exchan
var wgNotice = ""; var wgNoticeLocal = ""; var wgNoticeLang = "en"; var wgNoticeProject = "wikipedia";
##### Wikipedia:WikiProject Mathematics/PlanetMath Exchange/03-XX Mathematical logic and foundations
03-XX Mathematical logic and foundations
This list will be periodically updated. Each entry in the list has three fields:
• PM WP Status status entries are:
• Status means PM article N not needed A adequately covered C copied M merged NC needs copying NM needs merging
• Please update the WP and Status fields as appropriate. if the WP field is correct please remove the qualifier "guess". If the corresponding Wikipedia article exists, but the link to it is wrong, please fix the link. If you copy or merge an article from PlanetMath, please update the WP and Status fields for that entry. If you have any comments, for example, thoughts on how the PlanetMath article compares to the corresponding Wikipedia article(s), please place such comments on a new indented line following the entry. Comments of this kind are very valuable.
Don't forget to include the relevant template if you copy over text or feel like an external link is warranted See the main page for examples and usage criteria.

9. From Heaps And Gaps To Heaps Of Gluts - Logic And Semantics Of Vagueness | Mind
Da Costa, N. C. A. and Doria, F. A. 1995 On Jaskowski s Discussive logics . Studia Logica, 54, pp. 3360. Da Costa, N. C. A. and Wolf,
http://findarticles.com/p/articles/mi_m2346/is_n424_v106/ai_20035454/pg_15
@import url(/css/us/pub_page_article.css); @import url(/css/us/template_503.css); @import url(/css/us/tabs_503.css); @import url(/css/us/fa_bnet.css); @import url(http://i.bnet.com/css/fa.css); BNET Research Center Find 10 Million Articles BNET.com Advanced Search Find in free and premium articles free articles only premium articles only this publication Arts Autos Business Health News Reference Sports Technology
##### Explore Publications in:
all Arts Autos Business ... Technology
Content provided in partnership with
FIND IN free and premium articles free articles only premium articles only this publication Arts Autos Business Health News Reference Sports Technology Advanced
Search
##### From heaps and gaps to heaps of gluts - logic and semantics of vagueness
Mind Oct, 1997 by Dominic Hyde < Page 1 Continued from page 14. Previous Next
B [element of] [Gamma], B is not [True.sub.[inverted]E]-in-M. iff for any model M, either for some A [element of] [Sigma], A is [True.sub.[inverted]E]-in-M or for some B [element of] [Gamma], B is not [True.sub.[inverted]E-in-M. iff for any model M, either for some B [element of] [Gamma], B is not [True.sub.[inverted]E]-in-M or for

 10. HeiDOK 03B52 Fuzzy logic; logic of vagueness ( 0 Dok. ) 03B53 logics admitting inconsistency (paraconsistent logics, Discussive logics, etc.) ( 0 Dok.http://archiv.ub.uni-heidelberg.de/volltextserver/msc_ebene3.php?anzahl=0&la=de&

 11. Philosophy Papers Online: Author Display Connections with Discussive logics and complications of the account are discussed, and some general morals are drawn. Show Abstracthttp://phonline.org/author.php?keyauth=av72

12. Poznan Studies 91: Essays In Logic And Ontology
Discussive Adaptive logics Handling Internal and External Inconsistencies. Sergei P. Odintsov. Absurdity as Unary Operato. Guido Vanackere
http://poznanstudies.swps.edu.pl/vols/ps91.html

13. Forcheri, Gentilini, & Molfino
On Jackowski Discussive logic. In Non classical logics, Model Theory and Computability (Arruda, Da Costa, and Choaqui, eds.), North Holland, Amsterdam
http://www.cs.cornell.edu/Info/People/gries/symposium/forcheri.htm
##### An Epistemological Approach to the Design of Training Courses on Logic
Istituto per la Matematica Applicata
Consiglio Nazionale delle Ricerche
Via De Marini 6, I-16149 Genova, Italy
forcheri@ima.ge.cnr.it, gentilini@ima.ge.cnr.it, molfino@ima.ge.cnr.it
##### Introduction
Mathematical logic helps to form the rational basis of common sense and, at the same time, it clashes with it. This conflict can be explained by observing that results sistematically obtained by formal logic alter deeply the rationality categories socially accepted; in this respect, it is worthwhile to note that these results often express innovations of natural science, already recognized by technology, that people uses without awareness. Thus, logic is a powerful educational tool to up-to-date common sense rationality, that is to transfer new paradigms of thinking.
##### Epistemological basis of the course
On the basis of our educational experience and referring to the west European culture, we think that several steps in human thinking have been determined by concepts and results of mathematical logic. In our opinion, awareness of this fact can be better acquired by analysing the influence of logic on common sense reasoning in the current historical context. Accordingly, content and method of our training program in logic have been devised on the basis of:
• the basic concepts of logic which mark the cultural transition from the last century to the present one (past phase);
• 14. CiteULike: Discussive Adaptive Logics: Handling Internal And External Inconsiste
Discussive Adaptive logics Handling Internal and External Inconsistencies publisher = {Rodopi}, title = {Discussive Adaptive logics Handling Internal
http://www.citeulike.org/article/998150
##### Copy-and-Pasteable Citation
Poznan Studies in the Philosophy of the Sciences and the Humanities , Vol. 91, No. 1. (1 November 2006), pp. 211-223. Citation format: Plain APA Chicago Elsevier Harvard MLA Nature Oxford Science Turabian Vancouver
##### BibTeX
Note: You may cite this page as: http://www.citeulike.org/article/998150 EndNote BibTeX CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.

 15. General General Mathematics Mathematics For Nonmathematicians 94D05 logics admitting inconsistency (paraconsistent logics, Discussive logics, etc.) Intermediate logics Other nonclassical logic Logic of naturalhttp://amf.openlib.org/2001/msc2000.xsd

 16. MSC 2000 : CC = Discussive Query CC = Discussive. 03XX Mathematical logic and foundations. 03B53 logics admitting inconsistency (paraconsistent logics, Discussive logics, etc.)http://math-doc.ujf-grenoble.fr/cgi-bin/msc2000.py?L=en&T=Q&C=msc2000&CC=Discuss

17. Achille C. Varzi - Complete Bibliography
Connections with Discussive logics and complications of the account are discussed, and some general morals are drawn. 1997a (with Roberto Casati),
http://www.columbia.edu/~av72/complete.html
 Achille C. Varzi - Complete Bibliography Achille C. Varzi

 18. 362/369 (Total 5522) NO 107 03C20 Ultraproducts Translate this page 96, 03B60, Other nonclassical logic. 95, 03B55, Intermediate logics. 94, 03B53, logics admitting inconsistency (paraconsistent logics, Discussive logics,http://www.mathnet.or.kr/mathnet/msc_list.php?mode=list&ftype=&fstr=&page=362

19. MathGuide - OPAC Subject Catalog
03XX Mathematical logic and foundations logic of vagueness; 03B53 logics admitting inconsistency (paraconsistent logics, Discussive logics, etc.
http://www.mathguide.de/cgi-bin/ssgfi/navigator2.pl/db=math/type=gok/pattern=all
##### Browse the GBV OPAC by MSC 2000
This is a browse interface to the union catalogue of the Common Library Network GBV based on the MSC 2000 classification.
You can browse down to the individual notation, the links available will direct you to the appropriate place in the GBV OPAC, which uses a notation related to, but different from MSC.
Note: Not all books available are contained in the online catalogue. Please use the Goettingen State University Library's Alphabetical Catalogue to search for monographs, dissertations and journals missing in the OPAC. Open all categories Close all categories
• Foundations
• 00-XX General
• Instructional exposition (textbooks, tutorial papers, etc.)
• Research exposition (monographs, survey articles)
• General mathematics
• General and miscellaneous specific topics
• General mathematics
• Mathematics for nonmathematicians (engineering, social sciences, etc.)
• Problem books
• Recreational mathematics
• Bibliographies
• External book reviews
• Dictionaries and other general reference works
• Formularies
• Philosophy of mathematics
• Methodology of mathematics, didactics

 20. MSC 2000 : CC = Logics 03B53 logics admitting inconsistency (paraconsistent logics, Discussive logics, etc.) 03B55 Intermediate logics; 03F45 Provability logics and relatedhttp://www.mathdoc.emath.fr/cgi-bin/msc2000.py?L=fr&T=Q&C=msc2000&CC=Logics

21. Paraconsistent Logic (Stanford Encyclopedia Of Philosophy/Summer 1998 Edition)
On Jaskowski s Discussive Logic , NonClassical logics, Modal Theory and Computability, AI Arruda, NCA da Costa and R. Chuaqui (eds.
http://www.seop.leeds.ac.uk/archives/sum1998/entries/logic-paraconsistent/
This is a file in the archives of the Stanford Encyclopedia of Philosophy
##### Stanford Encyclopedia of Philosophy
A B C D ... Z
##### Paraconsistent Logic
The development of paraconsistent logic was initiated in order to challenge the logical principle that anything follows from contradictory premises, ex contradictione quodlibet (ECQ) . Let be a relation of logical consequence, defined either semantically or proof-theoretically. Let us say that is explosive iff for every formula A and B A , ~A B . Classical logic, intuitionistic logic, and most other standard logics are explosive. A logic is said to be paraconsistent iff its relation of logical consequence is not explosive. The modern history of paraconsistent logic is relatively short. Yet the subject has already been shown to be an important development in logic for many reasons. These involve the motivations for the subject, its philosophical implications and its applications. In the first half of this article, we will review some of these. In the second, we will give some idea of the basic technical constructions involved in paraconsistent logics. Further discussion can be found in the references given at the end of the article.
##### Inconsistent but Non-Trivial Theories
A most telling reason for paraconsistent logic is the fact that there are theories which are inconsistent but non-trivial. Clearly, once we admit the existence of such theories, their underlying logics must be paraconsistent. Examples of inconsistent but non-trivial theories are easy to produce. An example can be derived from the history of science. (In fact, many examples can be given from this area.) Consider Bohr's theory of the atom. According to this, an electron orbits the nucleus of the atom without radiating energy. However, according to Maxwell's equations, which formed an integral part of the theory, an electron which is accelerating in orbit must radiate energy. Hence Bohr's account of the behaviour of the atom was inconsistent. Yet, patently, not everything concerning the behavior of electrons was inferred from it. Hence, whatever inference mechanism it was that underlay it, this must have been paraconsistent.

22. Paraconsistent Logics And Paraconsistency: Technical And Philosophical Developme
(context) D Ottaviano - 1985 3 the development of paraconsistent logic and da Costa s work (context) - D Ottaviano - 1990 3 skowski s Discussive logic
http://nsdl.org/resource/2200/20061123005439832T

 23. MSC 2000 : CC = T 0399 Mathematical logic and foundations (not classified at a more 03B53 logics admitting inconsistency (paraconsistent logics, Discussive logics, etc.http://portail.mathdoc.fr/cgi-bin/msc2000.py?L=fr&T=Q&C=msc2000&CC=T

24. Re: [Logica-l] Math Reviews E A LÃ³gica Paraconsistente
Translate this page Now, what is there in Discussive logics that make them plural and diverse from paraconsistent logics ? And what sort of objective description of a class
http://www.dimap.ufrn.br/pipermail/logica-l/2007-May/001181.html
##### Re: [Logica-l] Math Reviews e a lÃ³gica paraconsistente
Joao Marcos jmarcos em dimap.ufrn.br
Sexta Maio 11 20:04:09 BRT 2007 Como certamente devem jÃ¡ sabem, a AMS estÃ¡ solicitando sugestÃµes sobre a nova classificaÃ§Ã£o para 2010. O que acham de um monte de gente pedir que voltem ao que era antes com relaÃ§Ã£o ao 03B53, que seja de novo unicamente "Paraconsistent Logics"? Podemos argumentar que engloba bastante coisa, como Ã© Ã³bvio, e se quiserem podem acrescentar um outro verbete. Bem observado, DÃ©cio. Aparentemente, todos podem opinar, sim, atravÃ©s do site: http://www.msc2010.org/msc-feedback.php Rapidamente, para quem nÃ£o conhece a histÃ³ria: 1991 - Ã© criado o campo de classificaÃ§Ã£o 03B53: "Paraconsistent Logic" 2000 - o mesmo campo muda de nome (para uma descriÃ§Ã£o nÃ£o-muito-bem-definida, passando a se chamar: "Logics admitting inconsistency (paraconsistent logics, discussive logics, etc.)" Sobre esta mudanÃ§a absurda, escrevi hÃ¡ algum tempo na pÃ¡gina p.xviii da minha tese ( http://tinyurl.com/yujtev

In this paper, I present the modal adaptive logic AJ r (based on S5) as well as the Discussive logic D r 2 that is defined from it.
http://www.ingentaconnect.com/content/klu/logi/2006/00000035/00000006/00009004
 var tcdacmd="dt"; Home About Ingenta Ingenta Labs Ingenta Blog ... Check our FAQs Or contact us to report problems with: Subscription access Article delivery Registration Library administrator tasks ... Other problems For Publishers For Researchers For Librarians CM8ShowAd("HorizontalBanner"); Author: Meheus, Joke Source: Journal of Philosophical Logic , Volume 35, Number 6, December 2006 , pp. 539-567(29) Publisher: Springer Key: - Free Content - New Content - Subscribed Content - Free Trial Content CM8ShowAd("Skyscraper"); Abstract: In this paper, I present the modal adaptive logic AJ r (based on ) as well as the discussive logic D r that is defined from it. D r D . Like D D r validates all single-premise rules of Classical Logic. However, for formulas that behave consistently

 26. JSTOR Meeting Of The Association For Symbolic Logic Campinas If L is a modal logic, the Jaskowski s Discussive logic associated with L, Finally, we note that this logic coincides with the Discussive logichttp://links.jstor.org/sici?sici=0022-4812(197806)43:2<352:MOTAFS>2.0.CO;2-0

 27. A Chain Of Fuzzy Strengthenings Of Entailment Logic Cos Dub N.C.A. da Costa L. Dubikajtis, Â«On Jaskowski s Discussive LogicÂ», NonClassical Logic, Model Theory and Computability, ed. by Arruda,http://www.sorites.org/lp/articles/logica/santiago.htm

28. Reports On Mathematical Logic
Remarks on Jaskowski s Discussive Logic. 4, 1975, 716 2. (and F.A. Doria, N. Papavero) Meinong s Theory of Objects and Hilbert s $\epsilon$-Symbol.
http://www.iphils.uj.edu.pl/rml/auth-ind.htm
##### Author Index
1. (and L. Monteiro) Number of Epimorphisms Between Finite Boolean Algebras. 10, 1978, 3-7
2. (and A. Figallo) Characterization of Three-valued Lukasiewicz Algebras. 18, 1984, 47-59
3. (and A. FERNANDEZ and N. MESKE) Free Boolean Correlations Lattices. 30, 1996, 3-11 (Abstract)
4. (and J. P. D. Varela and M. Zander) Boolean algebras with a distinguished automorphism; 37, 2003, 101-112, (Abstract) Full text - pdf
5. (and Luiz Monteiro, Sonia Savini, Julio Sewald and Marta Zander), Subalgebras of a finite monadic Boolean Algebra; 40, 2006, pp. 199 - 206; Full text - pdf ACHTELIK, GRAZYNA
1. (with L. Dubikajtis, E. Dudek and J. Konior) On Independence of Axioms of Jaskowski's Discussive Propositional Calculus. 11, 1981, 3-11 AMER, MOHAMED A.
1. Probability Logic and Measures on Epimorphic Images of Coproducts of Measurable Spaces. 28, 1994, 29-52 (Abstract) BABYONYSHEV, SERGEI V>
1. Fully Fregean logics; 37, 2003, 59-78

 29. CAT.INIST In this paper, I present the modal adaptive logic AJ r (based on S 5) as well as the Discussive logic D r 2 that is defined from it.http://cat.inist.fr/?aModele=afficheN&cpsidt=18052658

30. DBLP: Newton C. A. Da Costa
Notre Dame Journal of Formal Logic 38(2) 179194 (1997) 12, Newton C. A. da Costa, Francisco A. Doria On Jaskowski s Discussive logic.
http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/c/Costa:Newton_C=_A=_d
##### Newton C. A. da Costa
List of publications from the DBLP Bibliography Server FAQ Coauthor Index - Ask others: ACM DL Guide CiteSeer CSB ... EE Newton C. A. da Costa, Alexandre A. M. Rodrigues : Definability and Invariance. Studia Logica 86 EE Newton C. A. da Costa, Francisco A. Doria : Addendum to "Consequences of an exotic formulation for P. Applied Mathematics and Computation 172 EE Newton C. A. da Costa, Francisco A. Doria : Some thoughts on hypercomputation. Applied Mathematics and Computation 178 EE Newton C. A. da Costa, Francisco A. Doria : On the existence of certain total recursive functions in nontrivial axiom systems, I CoRR cmp-lg/9804005 Newton C. A. da Costa, Notre Dame Journal of Formal Logic 38 Newton C. A. da Costa, Francisco A. Doria : H-Computation (Abstract). SBIA 1996 Newton C. A. da Costa, Francisco A. Doria : On Jaskowski's discussive logic. Studia Logica 54 Newton C. A. da Costa, Francisco A. Doria : Undecidability, incompleteness and the Arnol'd problems. Studia Logica 55 Newton C. A. da Costa, Studia Logica 53 Newton C. A. da Costa, Francisco A. Doria

31. ScienceDirect - Journal Of Applied Logic : Paraconsistent Logic From A Modal Vie
Combining the possible worlds of S5 with an idea connected to Ja kowski s Discussive logic (cf. 11) we have a quite intuitive interpretation of the
 Athens/Institution Login Not Registered? User Name: Password: Remember me on this computer Forgotten password? Home Browse My Settings ... Help Quick Search Title, abstract, keywords Author e.g. j s smith Journal/book title Volume Issue Page Journal of Applied Logic Volume 3, Issue 1 , March 2005, Pages 7-14 A Paraconsistent Decagon, The Workshop on Paraconsistent Logic Abstract Full Text + Links PDF (92 K) Related Articles in ScienceDirect A natural history of negation : Laurence R. Horn, Chica... Journal of Pragmatics A natural history of negation : Laurence R. Horn , Chicago; IL: Chicago University Press, 1989. XXII + 637 pp. US $40.50. Journal of Pragmatics Volume 16, Issue 3 September 1991 Pages 269-280 Alexis Kalokerinos Abstract Abstract + References PDF (1044 K) A Natural history of negation : Laurence R. Horn: The U... ... Lingua A Natural history of negation : Laurence R. Horn: The University of Chicago Press, Chicago and London, 1989, xxii + 637 pp. US$ 34.95 Lingua Volume 82, Issues 2-3 November 1990 Pages 253-261 Eva Haji ova Abstract Abstract + References PDF (616 K) Approximations of Modal Logic K ... Electronic Notes in Theoretical Computer Science Approximations of Modal Logic K Electronic Notes in Theoretical Computer Science Volume 143 6 January 2006 Pages 171-184 Guilherme de Souza Rabello and Marcelo Finger Abstract Inspired by the recent work on approximating classical logic, we present a procedure that approximates the modal logic

We then examine Discussive logic and its application to the foundation of physical theories and to the formal representation of partial truth.
http://www.cfh.ufsc.br/~dkrause/pg/prepub.html
TRABALHOS RECENTES E EM PROGRESSO Atualizado em 1. Trabalhos de EditoraÃ§Ã£o New Trends in the Foundations of Science Special issue of Synthese
Papers dedicated to the 80th birthday of Patrick Suppes,
presented in FlorianÃ³polis, Brazil, April 22-23, 2002 Edited by J.-Y.BÃ©ziau and D.Krause
Preface by the Editors

VersÃ£o on line
VersÃ£o impressa Selected Papers of Newton C. A. da Costa Volume 1 To appear by Polimerica (Milan). Edited by DÃ©cio Krause, Steven French and Ãtala M. L. D'Ottaviano Proceedings of the XIV Brazilian Conference on Mathematical Logic (2006) (Look h ere Edited by Walter A. Carnielli and DÃ©cio Krause Special issue of the Logic Journal of the IGPL Livro La MetafÃ­sica de la No-Individualidad: Ensayo sobre la Indiscernibilidad de los Quanta VersÃ£o Preliminar , Junho 2007)
2. PublicaÃ§Ãµes Recentes Livro Publicado FILOSOFIA DA FÃSICA Identity in Physics: A historical, P hilosophical, and F ... nalysis Oxford, Oxford University Press, 2006. Co-autoria com Steven French (Universidade de Leeds, UK) InformaÃ§oes da Editora.

 33. LINGUISTIX&LOGIK, Tony Marmo's Blog Keywords discursive (Discussive) logic, D2, paraconsistent logic, labelled tableaux. Published in Logic and Logical Philosophy, Volume 14 (2005), 235252http://tonymarmo.tripod.com/linguistix-logik/index.blog?start=1173155639

On Jaskowski s Discussive logic. Newton CA da Costa, Francisco A. Doria. Journal Title Studia Logica. Date 1995. Volume 54. Issue 1. p. 33 60
http://wotan.liu.edu/docis/dbl/stulog/1995_54_1_33_OJDL.htm
 The Digital Librarian's Digital Library search D O CISÃÂ  Do cumentsÃÂ inÃÂ  C omputing and I nformationÃÂ  S cience Home Journals and Conference Proceedings Studia Logica On Jaskowski's discussive logic Newton C. A. da Costa, Francisco A. Doria Journal Title: Studia Logica Date: 1995 Volume: 54 Issue: 1 p. 33 - 60 This data comes from DBLP This page is maintained by Angela Cornwell and Thomas Krichel It was last updated on 2006-04-12

35. FI Abstracts Vol. 71
A characterization of LRconsequence shows that the paraconsistent Discussive logic J of Ja\ skowski is equivalent to LR. So, LR, developed from a totally
http://fi.mimuw.edu.pl/abs71.html
 Preface i-ii On the Analysis of Fuzzy String Patterns with the Help of Extended and Stochastic GDPLL(k) Grammars Mariusz FlasiÃ±ski and Janusz Jurek 1-14 Two methods of the analysis of distorted (fuzzy) string patterns are presented. The methods are based on the use of GDPLL(k ) grammars generating a large subclass of context sensitive languages. The first one utilizes error-correcting approach: a minimum distance measure is used for error-correcting parsing. The second one utilizes stochastic approach: the decision about the production to be applied in a derivation step is given according to the probability measure. Architectural Principles and Scheduling Strategies for Computing Agent Systems Marek Grochowski, Robert Schaefer and Maciej Smoka 15-26 The paper introduces the formal description of a computing multi-agent system (MAS), its architecture and dynamics (sections 2-4). The optimal scheduling problem for the MAS as well as a way of its verification are presented in terms of such a model (section 5). A brief report of test results published previously in [13,3,4,8] is contained in the section 6. Multi-agent Approach to Dynamic Pick-up and Delivery Problem with Uncertain Knowledge about Future Transport Demands This work focuses on the dynamic Pickup and Delivery Problem with Time Windows (PDPTW). The transport requests should be performed using the available fleet of vehicles. The vehicles move between the nodes of a road network. The aim of this work is to propose a model which allows, during a transport plan creation, to take into account predictable events. Particularly, we consider the frequency of requests at any node in the road network and the construction of vehicle routes that will allow new requests to be inserted without any significant route modification. Therefore, we construct routes that pass near the nodes where transport requests are most frequently generated.

 36. --------[ Philosophers' Rally | Zlot Filozoficzny ]-------- Discussive logic and tense logic Katarzyna Jab o ska. In 1948 S. He presented new logic, named it Discussive logic and denoting it by D2.http://www.filozofia.pl/zf/en/?nzw=st&nr=458

37. POLISH LOGIC OF THE POSTWAR PERIOD
Nowadays, hardly anybody is aware that Ja kowskiÂs Discussive logic put forward by him in 1948, was an attempt to form a logical system which admits
http://www.ifispan.waw.pl/studialogica/PL.Logic.html
@import "sl.css";
##### Ryszard WÃ³jcicki
Institute of Philosophy and Sociology, Polish Academy of Sciences
in collaboration with
##### POLISH LOGIC OF THE POSTWAR PERIOD
NOTE (added on May 30, 2003). The Polish version of this paper was published in LOGIKA POLSKA OKRESU POWOJENNEGO PrÃ³ba rzutu oka wstecz
##### 1. Introductory remarks
During the 10th Congress of Logic, Methodology and Philosophy of Science (Florence, August, 19-25, 1995) I took part in a discussion panel on the situation of logic in communist countries. This essay, written to celebrate the 50th anniversary of the Polish Academy of Sciences, is based mainly on the paper I presented there. The list of people I stayed in touch with while writing both this paper as well as its previous version is fairly long. By saying Âthank youÂ to all of them I wish to express my gratitude especially to Wojciech Buszkowski, Andrzej Grzegorczyk, Witold Marciszewski, Wiktor Marek, Roman Murawski, Jerzy Tiuryn, and Jan Zygmunt. The comments and materials sent by them were especially helpful. The scientific outcome of the postwar Polish logic is rich and tremendously varied. It consists of both logic in its basic meaning (comp. section 2) and numerous applications of logical methods. The knowledge of all the results or even some general orientation in all the branches of logic that are developed in Poland requires the competence to which unfortunately I cannot aspire. That is the reason for which I asked so many people for help while preparing this paper as well as the earlier one. Not all of the comments, suggestions or even critical remarks I decided or even was able to take into consideration. That is why the full responsibility for the final content of this essay is mine. I hope, however, that this paper does not contain any serious errors, which would have been hard to avoid without the assistance I was given. Once again I wish to thank for all the help I received.

38. A Quasi-Discursive System $ND_2^+$
Discursive (or Discussive) logic, D , introduced by Ja kowski, is widely recognized as a first formal approach to paraconsistency. Ja kowski applied a quite
http://projecteuclid.org/handle/euclid.ndjfl/1163775444
• Home Browse Search ... next
##### A Quasi-Discursive System $ND_2^+$
Janusz Ciuciura Source: Notre Dame J. Formal Logic Volume 47, Number 3 (2006), 371-384.
##### Abstract

 39. KsiÃªgarnia Internetowa Apeiron Magazine The InconsistencyAdaptive Logic PRL Kristof de Clercq, Vladimir L. Vasyukov A New Axiomatization of Ja kowski s Discussive Logic Marek Nasieniewski Ahttp://www.ksiegarnia.apeironmag.pl/index.php?cat=238&page=123

40. AUTHOR INDEX
A finitary 1equivalential logic not finitely equivalential, 120-122 24/3 Discussive versions of the modal calculi T, B, S4 and S5, 92 7/2
http://www.filozof.uni.lodz.pl/bulletin/d.html
BULLETIN OF THE SECTION OF LOGIC Author Index
To find any word: author, title or key word; please, press "Ctrl-F".
##### D
DAHN, Bernd
Generalized Kripke models
A note on generalized Kripke models
Neighbourhood semantics and generalized Kripke semantics
DARDZANIA, G.K.
Intuitionistic system without contraction
DARMOCHWAL, Agata
PC Mizar presentation
DELLUNDE i CLAVE, Pilar
A finitary 1-equivalential logic not finitely equivalential
de MORAES, Lafayette
On discussive set theory
DEMRI, Stephane
Extensions of modal logic S5 preserving NP-completeness
DEMRI, Stephane and Orlowska, Ewa
A class of modal logics with a finite model property with respect to the set of M-formulae
de QUEIROZ Ruy J. G. B. and Haroldo G. Benatti
Descriptive Complexity of Modularity Problems on Graphs
On the Descriptive Complexity of the Two Disjoint Paths Problem Over Undirected Graphs
DESCALCO, L. and Manuel, A. Martins
On the Injectivity of the Leibniz Operator
DIAS, Matias F.
The reals in D
DIENER, Karl-Heinz
On the natural order relation in Peano algebras with finitary or infinitary operations
DIETRICH, Jens

 Page 1     1-50 of 50    1