Year:

  1.  7
    Logical Investigations on Assertion and Denial.Massimiliano Carrara, Daniele Chiffi & Ciro De Florio - 2017 - Journal of Applied Logic 25:S1-S2.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  2.  8
    On Assertion and Denial in the Logic for Pragmatics.Massimiliano Carrara, Daniele Chiffi & Ciro De Florio - 2017 - Journal of Applied Logic 25:S97-S107.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  3.  17
    Bilateralism Does Not Provide a Proof Theoretic Treatment of Classical Logic.Michael Gabbay - 2017 - Journal of Applied Logic 25:S108-S122.
    In this short paper I note that a key metatheorem does not hold for the bilateralist inferential framework: harmony does not entail consistency. I conclude that the requirement of harmony will not suffice for a bilateralist to maintain a proof theoretic account of classical logic. I conclude that a proof theoretic account of meaning based on the bilateralist framework has no natural way of distinguishing legitimate definitional inference rules from illegitimate ones (such as those for tonk). Finally, as an appendix (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  4.  6
    Iterated Privation and Positive Predication.Bjørn Jespersen, Massimiliano Carrara & Marie Duží - 2017 - Journal of Applied Logic 25:S48-S71.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  5.  10
    Reprint Of: Assertion and Denial: A Contribution From Logical Notations.Ahti-Veikko Pietarinen & Francesco Bellucci - 2017 - Journal of Applied Logic 25:S3-S24.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  6.  12
    Natural Deduction for Bi-Intuitionistic Logic.Luca Tranchini - 2017 - Journal of Applied Logic 25:S72-S96.
    We present a multiple-assumption multiple-conclusion system for bi-intuitionistic logic. Derivations in the systems are graphs whose edges are labelled by formulas and whose nodes are labelled by rules. We show how to embed both the standard intuitionistic and dual-intuitionistic natural deduction systems into the proposed system. Soundness and completeness are established using translations with more traditional sequent calculi for bi-intuitionistic logic.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  7.  21
    Reprint Of: A More General General Proof Theory.Heinrich Wansing - 2017 - Journal of Applied Logic 25:23-46.
    In this paper it is suggested to generalize our understanding of general (structural) proof theory and to consider it as a general theory of two kinds of derivations, namely proofs and dual proofs. The proposal is substantiated by (i) considerations on assertion, denial, and bi-lateralism, (ii) remarks on compositionality in proof-theoretic semantics, and (iii) comments on falsification and co-implication. The main formal result of the paper is a normal form theorem for the natural deduction proof system N2Int of the bi-intuitionistic (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  8.  1
    Formal Analysis of SEU Mitigation for Early Dependability and Performability Analysis of FPGA-Based Space Applications.Khaza Anuarul Hoque, Otmane Ait Mohamed & Yvon Savaria - 2017 - Journal of Applied Logic 25:47-68.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  9.  2
    The Never-Ending Recursion.Sergio Mota - 2017 - Journal of Applied Logic 25:89-108.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  10.  9
    Assertion and Denial: A Contribution From Logical Notations.Ahti-Veikko Pietarinen & Francesco Bellucci - 2017 - Journal of Applied Logic 25:1-22.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  11.  5
    On the Complexity of Input/Output Logic.Xin Sun & Livio Robaldo - 2017 - Journal of Applied Logic 25:69-88.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  12.  2
    A More General General Proof Theory.Heinrich Wansing - 2017 - Journal of Applied Logic 25:23-46.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  13.  4
    Comparison of Classification Techniques Applied for Network Intrusion Detection and Classification.Amira Sayed A. Aziz, Sanaa El-Ola Hanafi & Aboul Ella Hassanien - 2017 - Journal of Applied Logic 24:109-118.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  14.  2
    Fuzzy System for Intelligent Word Recognition Using a Regular Grammar.D. Álvarez, R. A. Fernández & L. Sánchez - 2017 - Journal of Applied Logic 24:45-53.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  15.  2
    Analysis of Meteorological Conditions in Spain by Means of Clustering Techniques.Ángel Arroyo, Álvaro Herrero, Verónica Tricio & Emilio Corchado - 2017 - Journal of Applied Logic 24:76-89.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  16.  6
    Sensorless Control of Variable Speed Induction Motor Drive Using RBF Neural Network.Pavel Brandstetter & Martin Kuchar - 2017 - Journal of Applied Logic 24:97-108.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  17.  2
    Special issue SOCO14-JAL.Pablo García Bringas, Asier Perallos Ruiz, Antonio D. Masegosa Arredondo, Álvaro Herrero, Héctor Quintián & Emilio Corchado - 2017 - Journal of Applied Logic 24:1-3.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  18.  7
    A Brief Review of the Ear Recognition Process Using Deep Neural Networks.Pedro Luis Galdámez, William Raveane & Angélica González Arrieta - 2017 - Journal of Applied Logic 24:62-70.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  19.  1
    Parameter Selection Based on Fuzzy Logic to Improve UAV Path-Following Algorithms.Pablo Garcia-Aunon, Matilde Santos Peñas & Jesus Manuel de la Cruz García - 2017 - Journal of Applied Logic 24:62-75.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  20.  2
    The Modelling and Design Process of Coordination Mechanisms in the Supply Chain.Katarzyna Grzybowska & Gábor Kovács - 2017 - Journal of Applied Logic 24:25-38.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  21.  3
    Special Issue SOCO 2015.Álvaro Herrero, Bruno Baruque, Javier Sedano, Héctor Quintián & Emilio Corchado - 2017 - Journal of Applied Logic 24:1-2.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  22.  3
    Evolutionary Simulation of Complex Networks' Structures with Specific Functional Properties.Victor V. Kashirin, Anastasia A. Lantseva, Sergey V. Ivanov, Sergey V. Kovalchuk & Alexander V. Boukhanovsky - 2017 - Journal of Applied Logic 24:39-49.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  23.  1
    Electronic Institutions and Neural Computing Providing Law-Compliance Privacy for Trusting Agents.Mar Lopez, Javier Carbo, Jose M. Molina & Juanita Pedraza - 2017 - Journal of Applied Logic 24:119-131.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  24.  1
    Using the Finite Element Method and Data Mining Techniques as an Alternative Method to Determine the Maximum Load Capacity in Tapered Roller Bearings.Ruben Lostado-Lorza, Ruben Escribano-Garcia, Roberto Fernandez-Martinez, Marcos Illera-Cueva & Bryan J. Mac Donald - 2017 - Journal of Applied Logic 24:4-14.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  25.  1
    On the Combination of Support Vector Machines and Segmentation Algorithms for Anomaly Detection: A Petroleum Industry Comparative Study.Luis Martí, Nayat Sanchez-Pi, José Manuel Molina López & Ana Cristina Bicharra Garcia - 2017 - Journal of Applied Logic 24:71-84.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  26.  1
    Hybrid Evolutionary Workflow Scheduling Algorithm for Dynamic Heterogeneous Distributed Computational Environment.D. Nasonov, A. Visheratin, N. Butakov, N. Shindyapina, M. Melnik & A. Boukhanovsky - 2017 - Journal of Applied Logic 24:50-61.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  27.  2
    Summarizing Information by Means of Causal Sentences Through Causal Graphs.C. Puente, A. Sobrino, J. A. Olivas & E. Garrido - 2017 - Journal of Applied Logic 24:3-14.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  28.  2
    A Survey on the Inventory-Routing Problem with Stochastic Lead Times and Demands.Raúl F. Roldán, Rosa Basagoiti & Leandro C. Coelho - 2017 - Journal of Applied Logic 24:15-24.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  29.  2
    50 Years of Fuzzy Set Theory and Models for Supplier Assessment and Selection: A Literature Review.Dragan Simić, Ilija Kovačević, Vasa Svirčević & Svetlana Simić - 2017 - Journal of Applied Logic 24:85-96.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  30.  1
    One-Dimensional Vs. Two-Dimensional Based Features: Plant Identification Approach.Alaa Tharwat, Tarek Gaber & Aboul Ella Hassanien - 2017 - Journal of Applied Logic 24:15-31.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  31.  4
    Enhancing Smart-Home Environments Using Magentix2.S. Valero, E. del Val, J. Alemany & V. Botti - 2017 - Journal of Applied Logic 24:32-44.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  32.  8
    Identification of Abnormal Movements with 3D Accelerometer Sensors for Seizure Recognition.José R. Villar, Manuel Menéndez, Enrique de la Cal, Javier Sedano & Víctor M. González - 2017 - Journal of Applied Logic 24:54-61.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  33.  4
    On the Existence of Free Models in Fuzzy Universal Horn Classes.Vicent Costa & Pilar Dellunde - 2017 - Journal of Applied Logic 23:3-15.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  34.  1
    Structure Features for SAT Instances Classification.Carlos Ansótegui, Maria Luisa Bonet, Jesús Giráldez-Cru & Jordi Levy - 2017 - Journal of Applied Logic 23:27-39.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  35.  2
    Logical Methods in Artificial Intelligence Applications.Eva Armengol, Dionís Boixader & Francisco Grimaldo - 2017 - Journal of Applied Logic 23:1-2.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  36.  2
    A Reward-Based Approach for Preference Modeling: A Case Study.Eva Armengol & Josep Puyol-Gruart - 2017 - Journal of Applied Logic 23:51-69.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  37.  1
    Characterization of Unidimensional Averaged Similarities.D. Boixader & J. Recasens - 2017 - Journal of Applied Logic 23:16-26.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  38.  1
    Modeling Group Assessments by Means of Hesitant Fuzzy Linguistic Term Sets.Jordi Montserrat-Adell, Núria Agell, Mónica Sánchez, Francesc Prats & Francisco Javier Ruiz - 2017 - Journal of Applied Logic 23:40-50.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  39.  1
    Fuzzy Microaggregation for the Transparency Principle.Vicenç Torra - 2017 - Journal of Applied Logic 23:70-80.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  40.  1
    Hierarchical Beam Search for Solving Most Relevant Explanation in Bayesian Networks.Xiaoyuan Zhu & Changhe Yuan - 2017 - Journal of Applied Logic 22:3-13.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  41.  2
    What Kind of Independence Do We Need for Multiple Iterated Belief Change?Gabriele Kern-Isberner & Daniela Huvermann - 2017 - Journal of Applied Logic 22:91-119.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  42.  1
    Algebraic Model Counting.Angelika Kimmig, Guy Van den Broeck & Luc De Raedt - 2017 - Journal of Applied Logic 22:46-62.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  43.  2
    Efficient Incremental Planning and Learning with Multi-Valued Decision Diagrams.Jean-Christophe Magnan & Pierre-Henri Wuillemin - 2017 - Journal of Applied Logic 22:63-90.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  44.  1
    An Ordered Credibility Contrast Semantics for Finite Probability Agreement.Paul Snow - 2017 - Journal of Applied Logic 22:14-27.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  45.  1
    Factored Performance Functions and Decision Making in Continuous Time Bayesian Networks.Liessman Sturlaugson, Logan Perreault & John W. Sheppard - 2017 - Journal of Applied Logic 22:28-45.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  46.  9
    On Harmony and Permuting Conversions.Nissim Francez - 2017 - Journal of Applied Logic 21:14-23.
    The paper exposes the relevance of permuting conversions (in natural-deduction systems) to the role of such systems in the theory of meaning known as proof-theoretic semantics, by relating permuting conversion to harmony, hitherto related to normalisation only. This is achieved by showing the connection of permuting conversion to the general notion of canonicity, once applied to arbitrary derivations from open assumption. In the course of exposing the relationship of permuting conversions to harmony, a general definition of the former is proposed, (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  47.  4
    On Expressive Power of Basic Modal Intuitionistic Logic as a Fragment of Classical FOL.Grigory K. Olkhovikov - 2017 - Journal of Applied Logic 21:57-90.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  48.  3
    A Study on Anomaly Detection Ensembles.Alvin Chiang, Esther David, Yuh-Jye Lee, Guy Leshem & Yi-Ren Yeh - 2017 - Journal of Applied Logic 21:1-13.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  49.  1
    Rewrite Rules for CTL.John C. McCabe-Dansted & Mark Reynolds - 2017 - Journal of Applied Logic 21:24-56.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  50.  4
    Price of Privacy.Pavel Naumov & Jia Tao - 2017 - Journal of Applied Logic 20:32-48.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  51.  2
    Epistemic Protocols for Dynamic Gossip.Hans van Ditmarsch, Jan van Eijck, Pere Pardo, Rahim Ramezanian & François Schwarzentruber - 2017 - Journal of Applied Logic 20:1-31.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  52.  3
    Marketing Impact on Diffusion in Social Networks.Pavel Naumov & Jia Tao - 2017 - Journal of Applied Logic 20:49-74.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
 Previous issues
  
Next issues