7 found
Order:
  1. Modalities and Multimodalities.Walter Alexandre Carnielli, Claudio Pizzi & Juliana Bueno-Soler - 2008 - Dordrecht, Netherland: Springer.
    In the last two decades modal logic has undergone an explosive growth, to thepointthatacompletebibliographyofthisbranchoflogic,supposingthat someone were capable to compile it, would?ll itself a ponderous volume. What is impressive in the growth of modal logic has not been so much the quick accumulation of results but the richness of its thematic dev- opments. In the 1960s, when Kripke semantics gave new credibility to the logic of modalities? which was already known and appreciated in the Ancient and Medieval times? no one could (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  2. Reasoning Under Inconsistent Knowledge.Walter Alexandre Carnielli & Mamede Lima-Marques - 1992 - Journal of Applied Non-Classical Logics 2 (1):49-79.
  3.  29
    Paraconsistent Algebras.Walter Alexandre Carnielli & Luiz Paulo Alcantara - 1984 - Studia Logica 43 (1-2):79 - 88.
    The prepositional calculiC n , 1 n introduced by N.C.A. da Costa constitute special kinds of paraconsistent logics. A question which remained open for some time concerned whether it was possible to obtain a Lindenbaum''s algebra forC n . C. Mortensen settled the problem, proving that no equivalence relation forC n . determines a non-trivial quotient algebra.The concept of da Costa algebra, which reflects most of the logical properties ofC n , as well as the concept of paraconsistent closure system, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  4.  16
    Some Results on Polarized Partion Relations of Higher Dimension.Walter Alexandre Carnielli & Carlos Augusto Di Prisco - 1993 - Mathematical Logic Quarterly 39 (1):461-474.
    Several types of polarized partition relations are considered. In particular we deal with partitions defined on cartesian products of more than two factors. MSC: 03E05.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  5. The Semantic Foundations of Logic Volume 1: Propositional Logics.Richard L. Epstein & Walter Alexandre Carnielli - 1990 - Dordrecht, Boston, and London: Kluwer Academic Publishers.
    This book grew out of my confusion. If logic is objective how can there be so many logics? Is there one right logic, or many right ones? Is there some underlying unity that connects them? What is the significance of the mathematical theorems about logic which I've learned if they have no connection to our everyday reasoning? The answers I propose revolve around the perception that what one pays attention to in reasoning determines which logic is appropriate. The act of (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  19
    Transfinite Induction on Ordinal Configurations.Luiz Paulo de Alcantara & Walter Alexandre Carnielli - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (31-35):531-538.
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  10
    Transfinite Induction on Ordinal Configurations.Luiz Paulo de Alcantara & Walter Alexandre Carnielli - 1981 - Mathematical Logic Quarterly 27 (31‐35):531-538.
    Direct download  
     
    Export citation  
     
    Bookmark