Year:

  1.  9
    From Forcing to Satisfaction in Kripke Models of Intuitionistic Predicate Logic.Maryam Abiri, Morteza Moniri & Mostafa Zaare - 2018 - Logic Journal of the IGPL 26 (5):464-474.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2.  1
    A Many-Sorted Variant of Japaridze’s Polymodal Provability Logic.Gerald Berger, Lev D. Beklemishev & Hans Tompits - 2018 - Logic Journal of the IGPL 26 (5):505-538.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3.  5
    Stone Duality for Lattice Expansions.Chrysafis Hartonas - 2018 - Logic Journal of the IGPL 26 (5):475-504.
  4.  4
    Approaches of Linear Operators in the Intuitionistic Fuzzy 2-Banach Spaces.Vatan Karakaya & Müzeyyen Ertürk - 2018 - Logic Journal of the IGPL 26 (5):453-463.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  5
    Projective Unification in Transitive Modal Logics.Sławomir Kost - 2018 - Logic Journal of the IGPL 26 (5):548-566.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  5
    Complexity and Expressivity of Propositional Dynamic Logics with Finitely Many Variables.Mikhail Rybakov & Dmitry Shkatov - 2018 - Logic Journal of the IGPL 26 (5):539-547.
  7.  8
    A Quick Guided Tour to the Modal Logic S4.2.Aggeliki Chalki, Costas D. Koutras & Yorgos Zikos - 2018 - Logic Journal of the IGPL 26 (4):429-451.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  11
    A Categorical Equivalence Between Semi-Heyting Algebras and Centered Semi-Nelson Algebras.Juan Manuel Cornejo & Hernán Javier San Martín - 2018 - Logic Journal of the IGPL 26 (4):408-428.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  5
    A Topological Duality for Tense $\Boldsymbol{LM_n}$-Algebras and Applications1.Aldo V. Figallo, Inés Pascual & Gustavo Pelaitay - 2018 - Logic Journal of the IGPL 26 (4):339-380.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10.  2
    When Are Profinite Many-Sorted Algebras Retracts of Ultraproducts of Finite Many-Sorted Algebras?J. Climent Vidal & E. Cosme Llópez - 2018 - Logic Journal of the IGPL 26 (4):381-407.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  2
    BL-Rings.O. A. Heubo-Kwegna, C. Lele, S. Ndjeya & J. B. Nganou - 2018 - Logic Journal of the IGPL 26 (3):290-299.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12.  1
    On Neighbourhood Product of Some Horn Axiomatizable Logics.Andrey Kudinov - 2018 - Logic Journal of the IGPL 26 (3):316-338.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  2
    Justification Announcements in Discrete Time. Part I: Completeness Results.Grigory K. Olkhovikov - 2018 - Logic Journal of the IGPL 26 (3):259-289.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14.  13
    Trees for E.Shawn Standefer - 2018 - Logic Journal of the IGPL 26 (3):300-315.
  15.  9
    Pattern-Based Calculi with Finitary Matching.Sandra Alves, Besik Dundua, Mário Florido & Temur Kutsia - 2018 - Logic Journal of the IGPL 26 (2):203-243.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16.  5
    Compactness, Colocatedness, Measurability and ED.Mohammad Ardeshir & Zahra Ghafouri - 2018 - Logic Journal of the IGPL 26 (2):244-254.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17.  4
    Gödel’s Second Incompleteness Theorem for Σn-Definable Theories.Conden Chao & Payam Seraji - 2018 - Logic Journal of the IGPL 26 (2):255-257.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18.  3
    On the Structure Theory of Łukasiewicz Near Semirings.Ivan Chajda, Davide Fazio & Antonio Ledda - 2018 - Logic Journal of the IGPL 26 (1):14-28.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19.  4
    The Quantum Logic of Direct-Sum Decompositions: The Dual to the Quantum Logic of Subspaces.David Ellerman - 2018 - Logic Journal of the IGPL 26 (1):1-13.
    ince the pioneering work of Birkhoff and von Neumann, quantum logic has been interpreted as the logic of subspaces of a Hilbert space. There is a progression from the usual Boolean logic of subsets to the "quantum logic" of subspaces of a general vector space--which is then specialized to the closed subspaces of a Hilbert space. But there is a "dual" progression. The set notion of a partition is dual to the notion of a subset. Hence the Boolean logic of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  20.  15
    Automatic Proof Generation in an Axiomatic System for $\Mathsf{CPL}$ by Means of the Method of Socratic Proofs.Aleksandra Grzelak & Dorota Leszczyńska-Jasion - 2018 - Logic Journal of the IGPL 26 (1):109-148.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  21.  2
    A Decomposition-Based Method for Solving the Clustered Vehicle Routing Problem.Horvat-Marc Andrei, Fuksz Levente, C. Pop Petrică & Dănciulescu Daniela - 2018 - Logic Journal of the IGPL 26 (1):83-95.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  4
    On Kalman’s Functor for Bounded Hemi-Implicative Semilattices and Hemi-Implicative Lattices.Ramon Jansana & Hernán Javier San Martín - 2018 - Logic Journal of the IGPL 26 (1):47-82.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23.  1
    Some Structural Properties of Quasi-Degrees.Roland Sh Omanadze - 2018 - Logic Journal of the IGPL 26 (1):191-201.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24.  9
    Proof Systems for BAT Consequence Relations.Pawel Pawlowski - 2018 - Logic Journal of the IGPL 26 (1):96-108.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  8
    Propositional Superposition Logic.Athanassios Tzouvaras - 2018 - Logic Journal of the IGPL 26 (1):149-190.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26.  2
    A Comparison of Classification Strategies in Rule-Based Classifiers.Szymon Wojciechowski - 2018 - Logic Journal of the IGPL 26 (1):29-46.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
 Previous issues
  
Next issues