Switch to: References

Add citations

You must login to add citations.
  1. Dual Equivalent Two-Valued Under-Determined and Over-Determined Interpretations for Łukasiewicz’s 3-Valued Logic Ł3.Gemma Robles, Francisco Salto & José M. Méndez - 2014 - Journal of Philosophical Logic 43 (2-3):303-332.
    Łukasiewicz three-valued logic Ł3 is often understood as the set of all 3-valued valid formulas according to Łukasiewicz’s 3-valued matrices. Following Wojcicki, in addition, we shall consider two alternative interpretations of Ł3: “well-determined” Ł3a and “truth-preserving” Ł3b defined by two different consequence relations on the 3-valued matrices. The aim of this paper is to provide dual equivalent two-valued under-determined and over-determined interpretations for Ł3, Ł3a and Ł3b. The logic Ł3 is axiomatized as an extension of Routley and Meyer’s basic positive (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • S-Algebras and the Degrees of Maximality of Three and Four Valued Logics of Łukasiewicz.Grzegorz Malinowski - 1974 - Studia Logica 33 (4):359-370.
  • Logic, Formal Methodology and Semantics in Works of Ryszard Wójcicki.Grzegorz Malinowski & Jan Woleński - 2011 - Studia Logica 99 (1-3):7-30.
    For decades Ryszard Wójcicki has been a highly influential scholar in the community of logicians and philosophers. Our aim is to outline and comment on some essential issues on logic, methodology of science and semantics as seen from the perspective of distinguished contributions of Wójcicki to these areas of philosophical investigations.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • The Degrees of Maximality of the Intuitionistic Propositional Logic and of Some of its Fragments.Wiesław Dziobiak - 1981 - Studia Logica 40 (2):195 - 198.
    Professor Ryszard Wójcicki once asked whether the degree of maximality of the consequence operationC determined by the theorems of the intuitionistic propositional logic and the detachment rule for the implication connective is equal to ? The aim of the present paper is to give the affirmative answer to the question. More exactly, it is proved here that the degree of maximality ofC — the — fragment ofC, is equal to , for every such that.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • A Note on Direct Products and Ultraproducts of Logical Matrices.Jan Zygmunt - 1974 - Studia Logica 33 (4):349 - 357.
    In this contribution we shall characterize matrix consequence operation determined by a direct product and an ultraproduct of a family of logical matrices. As an application we shall describe finite consequence operations with the help of ultrapowers.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Key Notions of Tarski's Methodology of Deductive Systems.Janusz Czelakowski & Grzegorz Malinowski - 1985 - Studia Logica 44 (4):321 - 351.
    The aim of the article is to outline the historical background and the present state of the methodology of deductive systems invented by Alfred Tarski in the thirties. Key notions of Tarski's methodology are presented and discussed through, the recent development of the original concepts and ideas.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  • A Strongly Finite Logic with Infinite Degree of Maximality.Marek Tokarz - 1976 - Studia Logica 35 (4):447 - 451.
  • Dual Equivalent Two-Valued Under-Determined and Over-Determined Interpretations for Łukasiewicz's 3-Valued Logic Ł3.Gemma Robles, Francisco Salto & José M. Méndez - 2013 - Journal of Philosophical Logic (2-3):1-30.
    Łukasiewicz three-valued logic Ł3 is often understood as the set of all 3-valued valid formulas according to Łukasiewicz’s 3-valued matrices. Following Wojcicki, in addition, we shall consider two alternative interpretations of Ł3: “well-determined” Ł3a and “truth-preserving” Ł3b defined by two different consequence relations on the 3-valued matrices. The aim of this paper is to provide (by using Dunn semantics) dual equivalent two-valued under-determined and over-determined interpretations for Ł3, Ł3a and Ł3b. The logic Ł3 is axiomatized as an extension of Routley (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • An Example of Strongly Finite Consequence Operation with 2ℵ0 Standard Strengthenings.Wies?aw Dziobiak - 1980 - Studia Logica 39 (4):375 - 379.
    Using ideas from Murskii [3], Tokarz [4] and Wroski [7] we construct some strongly finite consequence operation having 2%0 standard strengthenings. In this way we give the affirmative answer to the following question, stated in Tokarz [4]: are there strongly finite logics with the degree of maximality greater than 0?
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  • On Finitely Based Consequence Operations.Andrzej Wroński - 1976 - Studia Logica 35 (4):453 - 458.
  • On the Structuralist Approach to the Dynamics of Theories.Raimo Tuomela - 1978 - Synthese 39 (2):211 - 231.
  • The Lattice of Strengthenings of a Strongly Finite Consequence Operation.Wiesław Dziobiak - 1981 - Studia Logica 40 (2):177 - 193.
    First, we prove that the lattice of all structural strengthenings of a given strongly finite consequence operation is both atomic and coatomic, it has finitely many atoms and coatoms, each coatom is strongly finite but atoms are not of this kind — we settle this by constructing a suitable counterexample. Second, we deal with the notions of hereditary: algebraicness, strong finitisticity and finite approximability of a strongly finite consequence operation. Third, we formulate some conditions which tell us when the lattice (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  • Matrix Representations for Structural Strengthenings of a Propositional Logic.Piotr Wojtylak - 1979 - Studia Logica 38 (3):263 - 266.
    The aim of this paper is to show that the operations of forming direct products and submatrices suffice to construct exhaustive semantics for all structural strengthenings of the consequence determined by a given class of logical matrices.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  • Review. [REVIEW]Veikko Rantala - 1991 - Synthese 86 (2):297-319.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Degree of Maximality Versus Degree of Completeness.Ryszard Wójcicki - 1974 - Bulletin of the Section of Logic 3 (2):41-43.
  • On Strongly Finite Consequence Operations.Wies law Dziobiak - 1979 - Bulletin of the Section of Logic 8 (2):87-92.
    Direct download  
     
    Export citation  
     
    Bookmark  
  • Note on Deducibility and Many-Valuedness.Ryszard Wójcicki - 1974 - Journal of Symbolic Logic 39 (3):563-566.
  • Degrees of Maximality of Klukasiewicz-Like Sentential Calculi.Grzegorz Malinowski - 1977 - Studia Logica 36 (3):213-228.
    The paper is concerned with the problem of characterization of strengthenings of the so-called Łukasiewicz-like sentential calculi. The calculi under consideration are determined by n-valued Łukasiewicz matrices with superdesignated logical values. In general, Łukasiewicz-like sentential calculi are not implicative in the sense of [7]. Despite of this fact, in our considerations we use matrices analogous to S-algebras of Rasiowa. The main result of the paper says that the degree of maximality of any n-valued Łukasiewicz-like sentential calculus is finite and equal (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations