Year:

  1.  8
    A Geometric Principle of Indifference.Lieven Decock, Igor Douven & Marta Sznajder - 2016 - Journal of Applied Logic 19 (2):54-70.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  2.  24
    Qualitative Probabilistic Inference Under Varied Entropy Levels.Paul D. Thorn & Gerhard Schurz - 2016 - Journal of Applied Logic 19 (2):87-101.
    In previous work, we studied four well known systems of qualitative probabilistic inference, and presented data from computer simulations in an attempt to illustrate the performance of the systems. These simulations evaluated the four systems in terms of their tendency to license inference to accurate and informative conclusions, given incomplete information about a randomly selected probability distribution. In our earlier work, the procedure used in generating the unknown probability distribution (representing the true stochastic state of the world) tended to yield (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  3.  1
    Formalization of Reliability Block Diagrams in Higher-Order Logic.Waqar Ahmed, Osman Hasan & Sofiène Tahar - 2016 - Journal of Applied Logic 18:19-41.
  4. Hoop Twist-Structures.Shokoofeh Ghorbani - 2016 - Journal of Applied Logic 18:1-18.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  5.  1
    Bridging Curry and Church's Typing Style.Fairouz Kamareddine, Jonathan P. Seldin & J. B. Wells - 2016 - Journal of Applied Logic 18:42-70.
  6.  1
    An Intelligent Fault Detection System for a Heat Pump Installation Based on a Geothermal Heat Exchanger.José Luis Casteleiro-Roca, Héctor Quintián, José Luis Calvo-Rolle, Emilio Corchado, María del Carmen Meizoso-López & Andrés Piñón-Pazos - 2016 - Journal of Applied Logic 17:36-47.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  7.  1
    Bayesian Networks for Greenhouse Temperature Control.J. del Sagrado, J. A. Sánchez, F. Rodríguez & M. Berenguel - 2016 - Journal of Applied Logic 17:25-35.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  8.  1
    A Small Look at the Ear Recognition Process Using a Hybrid Approach.Pedro Luis Galdámez, Angélica González Arrieta & Miguel Ramón Ramón - 2016 - Journal of Applied Logic 17:4-13.
  9.  2
    Tableau Reductions: Towards an Optimal Decision Procedure for the Modal Necessity.Joanna Golińska-Pilarek, Emilio Muñoz-Velasco & Angel Mora - 2016 - Journal of Applied Logic 17:14-24.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  10.  1
    Special Issue Soco13-Jal.Álvaro Herrero, Bruno Baruque, Fanny Klett, Ajith Abraham, Václav Snášel, André C. P. L. F. de Carvalho, Pablo García Bringas, Ivan Zelinka, Héctor Quintián, Juan Manuel Corchado & Emilio Corchado - 2016 - Journal of Applied Logic 17:1-3.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  11.  1
    Improving Ontology-Based Text Classification: An Occupational Health and Security Application.Nayat Sanchez-Pi, Luis Martí & Ana Cristina Bicharra Garcia - 2016 - Journal of Applied Logic 17:48-58.
  12. Behavioral Equivalence of Hidden K-Logics: An Abstract Algebraic Approach.Sergey Babenyshev & Manuel A. Martins - 2016 - Journal of Applied Logic 16:72-91.
  13. Reasoning About Negligibility and Proximity in the Set of All Hyperreals.Philippe Balbiani - 2016 - Journal of Applied Logic 16:14-36.
  14. Transformation of Fractions Into Simple Fractions in Divisive Meadows.J. A. Bergstra & C. A. Middelburg - 2016 - Journal of Applied Logic 16:92-110.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  15.  3
    Representable Posets.Rob Egrot - 2016 - Journal of Applied Logic 16:60-71.
  16. A Non-Commutative Generalization of Łukasiewicz Rings.Albert Kadji, Celestin Lele & Jean B. Nganou - 2016 - Journal of Applied Logic 16:1-13.
  17. Automatic Non-Linear Analysis of Non-Invasive Writing Signals, Applied to Essential Tremor.K. Lopez-de-Ipiña, A. Bergareche, P. de la Riva, M. Faundez-Zanuy, P. M. Calvo, J. Roure & E. Sesa-Nogueras - 2016 - Journal of Applied Logic 16:50-59.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  18.  1
    Revisiting da Costa Logic.Mauricio Osorio Galindo, Verónica Borja Macías & José Ramón Enrique Arrazola Ramírez - 2016 - Journal of Applied Logic 16:111-127.
  19. A Cirquent Calculus System with Clustering and Ranking.Wenyan Xu - 2016 - Journal of Applied Logic 16:37-49.
  20.  1
    The Problem of Coincidence in a Theory of Temporal Multiple Recurrence.B. O. Akinkunmi - 2016 - Journal of Applied Logic 15:46-68.
  21. The Left Adjoint of Spec From a Category of Lattice-Ordered Groups.José Luis Castiglioni & Hernán Javier San Martín - 2016 - Journal of Applied Logic 15:1-15.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  22. Translation of First Order Formulas Into Ground Formulas Via a Completion Theory.Robert Demolombe, Luis Fariñas del Cerro & Naji Obeid - 2016 - Journal of Applied Logic 15:130-149.
  23. Bunched Sequential Information.Norihiro Kamide - 2016 - Journal of Applied Logic 15:150-170.
  24.  4
    The Eco-Cognitive Model of Abduction II.Lorenzo Magnani - 2016 - Journal of Applied Logic 15:94-129.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  25. The Principle of Signature Exchangeability.Tahel Ronel & Alena Vencovská - 2016 - Journal of Applied Logic 15:16-45.
  26. A Multiple-Valued Logic Approach to the Design and Verification of Hardware Circuits.Amnon Rosenmann - 2016 - Journal of Applied Logic 15:69-93.
  27.  14
    Transitivity in Coherence-Based Probability Logic.Angelo Gilio, Niki Pfeifer & Giuseppe Sanfilippo - 2016 - Journal of Applied Logic 14:46-64.
    We study probabilistically informative (weak) versions of transitivity by using suitable definitions of defaults and negated defaults in the setting of coherence and imprecise probabilities. We represent p-consistent sequences of defaults and/or negated defaults by g-coherent imprecise probability assessments on the respective sequences of conditional events. Moreover, we prove the coherent probability propagation rules for Weak Transitivity and the validity of selected inference patterns by proving p-entailment of the associated knowledge bases. Finally, we apply our results to study selected probabilistic (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  28.  1
    Lakatos's Criticism of Carnapian Inductive Logic Was Mistaken.Teddy Groves - 2016 - Journal of Applied Logic 14:3-21.
  29.  1
    An Examination of the SEP Candidate Analogical Inference Rule Within Pure Inductive Logic.E. Howarth, J. B. Paris & A. Vencovská - 2016 - Journal of Applied Logic 14:22-45.
  30.  2
    Measuring Inaccuracy of Uncertain Doxastic States in Many-Valued Logical Systems.Pavel Janda - 2016 - Journal of Applied Logic 14:95-112.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  31.  7
    Special Issue: Combining Probability and Logic.Jürgen Landes & Jon Williamson - 2016 - Journal of Applied Logic 14:1-2.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  32.  1
    Borderlines and Probabilities of Borderlines: On the Interconnection Between Vagueness and Uncertainty.Jonathan Lawry - 2016 - Journal of Applied Logic 14:113-138.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  33.  4
    Updating a Progic.Eric Raidl - 2016 - Journal of Applied Logic 14:65-94.
 Previous issues
  
Next issues