Basic Core Fuzzy Logics and Algebraic Routley–Meyer-Style Semantics
Axioms, 2021 Recently, algebraic Routley–Meyer-style semantics was introduced for basic substructural logics. This paper extends it to fuzzy logics. First, we recall the basic substructural core fuzzy logic MIAL (Mianorm logic) and its axiomatic extensions, together ...
Eunsuk Yang
doaj +1 more source
AXIOMATIZING SEMANTIC THEORIES OF TRUTH? [PDF]
The Review of Symbolic Logic, 2015 AbstractWe discuss the interplay between the axiomatic and the semantic approach to truth. Often, semantic constructions have guided the development of axiomatic theories and certain axiomatic theories have been claimed to capture a semantic construction. We ask under which conditions an axiomatic theory captures a semantic construction.
Fischer, Martin +3 more
openaire +4 more sources
Non-Axiomatic Logic Modeling of English Texts for Knowledge Discovery and Commonsense Reasoning
Applied Sciences, 2023 Non-axiomatic logic (NAL) is a term-based, non-monotonic, multi-valued logic with evidence-based formal semantics. All those characteristics position NAL as an excellent candidate for modeling natural language expressions and supporting artificial agents
Osiris Juárez +2 more
doaj +1 more source
Compliance for reversible client/server interactions [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 In the setting of session behaviours, we study an extension of the concept of compliance when a disciplined form of backtracking is present. After adding checkpoints to the syntax of session behaviours, we formalise the operational semantics via a LTS ...
Franco Barbanera +2 more
doaj +1 more source
Towards Automatic Deductive Verification of C Programs with Sisal Loops Using the C-lightVer System
Моделирование и анализ информационных систем, 2021 The C-lightVer system is developed in IIS SB RAS for C-program deductive verification. C-kernel is an intermediate verification language in this system. Cloud parallel programming system (CPPS) is also developed in IIS SB RAS.
Dmitry A. Kondratyev
doaj +1 more source
Gautama and Almost Gautama Algebras and their associated logics [PDF]
Transactions on Fuzzy Sets and Systems, 2023 Recently, Gautama algebras were defined and investigated as a common generalization of the variety $\mathbb{RDBLS}\rm t$ of regular double Stone algebras and the variety $\mathbb{RKLS}\rm t$ of regular Kleene Stone algebras, both of which are, in ...
Juan M. Cornejo +1 more
doaj +1 more source
Logics of Formal Inconsistency enriched with replacement: an algebraic and modal account [PDF]
, 2021 One of the most expected properties of a logical system is that it can be algebraizable, in the sense that an algebraic counterpart of the deductive machinery could be found.
Carnielli, Walter +2 more
core +2 more sources
The Single Axiomatization on CCRL-Fuzzy Rough Approximation Operators and Related Fuzzy Topology
Axioms, 2022 It is well known that lattice-valued rough sets are important branches of fuzzy rough sets. The axiomatic characterization and related topology are the main research directions of lattice-valued rough sets.
Yaoliang Xu, Dandan Zou, Lingqiang Li
doaj +1 more source
Automatic C program verification based on mixed axiomatic semantics
Automatic Control and Computer Sciences, 2014 The development of the C-light project led to the application of new formalisms and method implementations that facilitate the verification of C programs.
I. Maryasov +3 more
semanticscholar +2 more sources
Loop Invariants Elimination for Definite Iterations over Unchangeable Data Structures in C Programs
Моделирование и анализ информационных систем, 2015 The C-program verification is an urgent problem of modern programming. To apply known methods of deductive verification it is necessary to provide loop invariants which might be a challenge in many cases.
I. V. Maryasov, V. A. Nepomniaschy
doaj +1 more source