Results 101 to 110 of about 5,025 (226)
Intuitionistic Hypothetical Logic of Proofs
Electronic Notes in Theoretical Computer Science, 2014 AbstractWe study a term assignment for an intuitonistic fragment of the Logic of Proofs (LP). LP is a refinement of modal logic S4 in which the assertion □A is replaced by 〚s〛A whose intended reading is “s is a proof of A”. We first introduce a natural deduction presentation based on hypothetical judgements and then its term assignment, which yields a ...
Steren, Gabriela +1 more
openaire +2 more sources
International Journal of Mathematics and Mathematical Sciences, Volume 2026, Issue 1, 2026.A linear Diophantine Z‐number Aczel–Alsina t‐norm operator is implemented for solving a linear Diophantine Z‐number problem, along with explaining its reliability, along with the solution derived. Some basic mathematical characteristics of the introduced operator, such as monotonicity, boundedness, and homogeneity, are rigorously deduced mathematically
Muhammad Umar Mirza +4 more
wiley +1 more source
A Distributed Kripke Semantics
, 2004 An intuitionistic, hybrid modal logic suitable for reasoning about distribution of resources was introduced in [10]. We extend the Kripke semantics of intuitionistic logic, enriching each possible Kripke state with a set of places, and show that this ...
Chadha, R., Macedonio, D., Sassone, V.
core
Geneza intuicjonistycznego rachunku zdań i Twierdzenie Gliwienki
Zagadnienia Filozoficzne w Nauce, 2014 Among the non-classical logics, the intuitionistic one stands out in many ways. First of all, because of its properties, it is grateful subject of formal analysis.
Piotr Urbańczyk
doaj
Intuitionistic modal logic made explicit
, 2016 Previous intuitionistic justification logics included explicit justifications for all admissible rules of intuitionistic logic in order to get completeness with respect to provability semantics.
Marti, Michel, Studer, Thomas
core
Azafea: Revista de Filosofía, 2009 RESUMEN: Tras una introducción histórica al intuicionismo como filosofía de las matemáticas, se introduce la lógica intuicionista. Comenzamos desde sus fundamentos según la interpretación BHK, y continuamos con las reglas del cálculo de deducción natural
Dick DE JONGH
doaj
Forcing for an Optimal A-Translation
LogicsKripke semantics for intuitionistic predicate logic IQC is often viewed as a forcing relation between posets and formulas. In this paper, we further introduce Cohen forcing into semantics.
Rui Li
doaj +1 more source
Emerging Intuitionistic Fuzzy Classifiers for Intrusion Detection System
Journal of Advances in Information Technology, 2011 One of the toughest challenges in Intrusion Detection System is uncertainty handling. he normal and the abnormal behaviors in networked computers are hard to predict as the boundaries cannot be well defined. The prediction of the normal or abnormal
Kavitha B +2 more
doaj +1 more source
Encoding of Planning Problems and Their Optimizations in Linear Logic [PDF]
, 2009 Girard’s Linear Logic is a formalism which can be used to manage a lot of problems with consumable resources. Its expressiveness is quite good for an easily understandable encoding of many problems.
Chrpa, Lukáš +5 more
core +1 more source
Logiques dialogiques ‘multivalentes’
Philosophia Scientiæ, 2004 Aim of this paper is to show how so-called multi-valued logics can be formulated within the framework of Dialogical Logic. In order to formulate the particle rules for multi-valued logics the concept of different assertion modes is introduced.
Helge Rückert
doaj +1 more source