Results 11 to 20 of about 2,597 (173)
Modal Translation of Substructural Logics [PDF]
Journal of Applied Non-Classical Logics, 2018 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 ...
Takis Hartonas
openalex +4 more sources
Editorial Introduction: Substructural Logics and Metainferences [PDF]
Journal of Philosophical Logic, 2022 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Eduardo Alejandro Barrio, Paul Égré
openalex +2 more sources
Proof complexity of substructural logics
Annals of Pure and Applied Logic, 2021 34 ...
Raheleh Jalali
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
ACM SIGLOG News, 2018 Substructural logics: semantics, proof theory, and applications is the second workshop within the project SYSMICS (Syntax meets Semantics - Methods, Interactions, and Connections in Substructural logics). It was held in Vienna at the Faculty of Mathematics, University of Vienna, from 26 -- 28 February 2018.
Agata Ciabattoni +2 more
openalex +2 more sources
Where Mathematical Symbols Come From. [PDF]
Top Cogn SciAbstract There is a sense in which the symbols used in mathematical expressions and formulas are arbitrary. After all, arithmetic would be no different if we would replace the symbols ‘+$+$’ or ‘8’ by different symbols. Nevertheless, the shape of many mathematical symbols is in fact well motivated in practice.
Schlimm D.
europepmc +2 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 +3 more sources
Local Search and the Evolution of World Models
Topics in Cognitive Science, EarlyView., 2023 Abstract An open question regarding how people develop their models of the world is how new candidates are generated for consideration out of infinitely many possibilities. We discuss the role that evolutionary mechanisms play in this process. Specifically, we argue that when it comes to developing a global world model, innovation is necessarily ...
Neil R. Bramley +3 more
wiley +1 more source
Duality Theory and Categorical Universal Logic: With Emphasis on Quantum Structures [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 Categorical Universal Logic is a theory of monad-relativised hyperdoctrines (or fibred universal algebras), which in particular encompasses categorical forms of both first-order and higher-order quantum logics as well as classical, intuitionistic, and ...
Yoshihiro Maruyama
doaj +1 more source
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 ...
BENERECETTI, MASSIMO +2 more
openaire +2 more sources