Works by Andrea Loparic

( view other items matching `Andrea Loparic`, view all matches )
5 found
Order:
  1.  31
    Semantical analysis of Arruda da costap systems and adjacent non-replacement relevant systems.Richard Routley & Andréa Loparić - 1978 - Studia Logica 37 (4):301 - 320.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  2.  30
    Valuation Semantics for Intuitionic Propositional Calculus and some of its Subcalculi.Andréa Loparić - 2010 - Principia: An International Journal of Epistemology 14 (1):125-33.
    In this paper, we present valuation semantics for the Propositional Intuitionistic Calculus (also called Heyting Calculus) and three important subcalculi: the Implicative, the Positive and the Minimal Calculus (also known as Kolmogoroff or Johansson Calculus). Algorithms based in our definitions yields decision methods for these calculi. DOI:10.5007/1808-1711.2010v14n1p125.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  29
    The method of valuations in modal logic.Andréa Loparic - 1978 - Bulletin of the Section of Logic 7 (2):91-91.
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  20
    Two systems of deontic logic.Andréa Loparic & L. Puga - 1986 - Bulletin of the Section of Logic 15 (4):137-141.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  5. Lógica e Ontologia. Ensaios em Homenagem a Balthazar Barbosa Filho.Marco Zingano, Fátima Regina Évora, Paulo Faria, Andrea Loparic & Luiz Henrique Lopes dos Santos (eds.) - 2004 - Discurso Editorial.
    No categories
     
    Export citation  
     
    Bookmark