Results 111 to 120 of about 884 (194)
Learning chemistry: exploring the suitability of machine learning for the task of structure-based chemical ontology classification. [PDF]
J Cheminform, 2021 Hastings J +4 more
europepmc +1 more source
A pragmatic interpretation of substructural logics
, 2017 Following work by Dalla Pozza and Garola on a pragmatic interpretation of intuitionistic and deontic logics, we present a sequent calculus ILP formalizing the derivation of assertive judgements and obligations from mixed contexts of assertions, obligations and expressions of the causal interactions between them.
BELLIN, Gianluigi, Carlo Dalla Pozza
openaire +2 more sources
Semi-Substructural Logics with Additives [PDF]
Niccolò Veltrì, Cheng-Syuan Wan
openalex +1 more source
Coalgebraic completeness-via-canonicity for distributive substructural\n logics [PDF]
, 2015 Fredrik Dahlqvist, David Pym
openalex +1 more source
An algebraic approach to the disjunction property of substructural logics [PDF]
, 2005 Supervisor:小野 ...
相馬, 大輔
core
When Conditional Logic and Belief Revision Meet Substructural Logics [PDF]
, 2015 International audienceTwo threads of research have been pursued in parallel in logic and artificial intelligence. On the one hand, in artificial intelligence, logic-based theories have been developed to study and formalize belief change and the so-called
Aucher, Guillaume
core
Decidability for Residuated Lattices and Substructural Logics
, 2019 We present a number of results related to the decidability and undecidability of various varieties of residuated lattices and their corresponding substructural logics. The context of this analysis is the extension of residuated lattices by various simple
St. John, Gavin
core
Meeting Strength in substructural logics
, 1993 . This paper contributes to the theory of hybrid substructural logics, i.e. weak logics given by a Gentzen-style proof theory in which there is only a limited possibility to use structural rules.
Yde Venema, Venema, Y.
core