Results 1 to 10 of about 481 (175)
Modal translation of substructural logics [PDF]
Journal of Applied Non-Classical Logics, 2020 In an article dating back in 1992, Kosta Do en initiated a project of modal translations in substructural logics, aiming at generalizing the well-known G del-McKinsey-Tarski translation of intuitionistic logic into {\bf S4}. Do en's translation worked well for (variants of) {\bf BCI} and stronger systems ({\bf BCW}, {\bf BCK}), but not for systems ...
Chrysafis Hartonas
openalex +5 more sources
Substructure Temporal Logic [PDF]
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013 In formal verification and design, reasoning about substructures is a crucial aspect for several fundamental problems, whose solution often requires to select a portion of the model of interest on which to verify a specific property. In this paper, we present a new branching-time temporal logic, called Substructure Temporal Logic (STL*, for short ...
Massimo Benerecetti +2 more
openalex +4 more sources
CONNEXIVE IMPLICATIONS IN SUBSTRUCTURAL LOGICS [PDF]
The Review of Symbolic Logic, 2023 AbstractThis paper is devoted to the investigation of term-definable connexive implications in substructural logics with exchange and, on the semantical perspective, in sub-varieties of commutative residuated lattices (FL ${}_{\scriptsize\mbox{e}}$ -algebras).
DAVIDE FAZIO, Gavin St. John
openalex +3 more sources
Dynamic Epistemic Logic as a Substructural Logic [PDF]
, 2014 Dynamic Epistemic Logic (DEL) is an influential logical framework for reasoning about the dynamics of beliefs and knowledge. It has been related to older and more established logical frameworks. Despite these connections, DEL remains, arguably, a rather isolated logic in the vast realm of non-classical logics and modal logics.
Guillaume Aucher
openalex +5 more sources
A substructural logic for layered graphs [PDF]
Journal of Logic and Computation, 2014 Complex systems, be they natural or synthetic, are ubiquitous. In particular, complex networks of devices and services underpin most of society's operations. By their very nature, such systems are difficult to conceptualize and reason about effectively.
Michael Collinson +2 more
openalex +5 more sources
Proof complexity of substructural logics
Annals of Pure and Applied Logic, 2021 34 ...
Raheleh Jalali
openalex +3 more sources
A Canonical Model Construction for Substructural Logics [PDF]
, 2000 JUCS - Journal of Universal Computer Science Volume Nr.
Hajime Ishihara
openalex +3 more sources
Density Elimination for Semilinear Substructural Logics [PDF]
, 2019 We present a uniform method of density elimination for several semilinear substructural logics. Especially, the density elimination for the involutive uninorm logic IUL is proved. Then the standard completeness of IUL follows as a lemma by virtue of previous work by Metcalfe and Montagna.
SanMin Wang
openalex +4 more sources
Substructural Fuzzy-Relevance Logic [PDF]
Notre Dame Journal of Formal Logic, 2015 This paper proposes a new topic in substructural logic for use in research joining the fields of relevance and fuzzy logics. For this, we consider old and new relevance principles. We first introduce fuzzy systems satisfying an old relevance principle, that is, Dunn’s weak relevance principle.
Eunsuk Yang
openalex +4 more sources
Higher-order representation of substructural logics [PDF]
ACM SIGPLAN Notices, 2010 We present a technique for higher-order representation of substructural logics such as linear or modal logic. We show that such logics can be encoded in the (ordinary) Logical Framework, without any linear or modal extensions. Using this encoding, metatheoretic proofs about such logics can easily be developed in the Twelf proof assistant.
Karl Crary
openalex +4 more sources