Results 81 to 90 of about 2,358 (145)

Reasoning about Knowledge in Linear Logic: Modalities and Complexity

, 2003
In a recent paper, Jean-Yves Girard commented that ”it has been a long time since philosophy has stopped intereacting with logic”[17].
Marion, Mathieu, Sadrzadeh, Mehrnoosh
core   +1 more source

Naïve validity. [PDF]

Synthese, 2021
Murzi J, Rossi L.
europepmc   +1 more source

Learning chemistry: exploring the suitability of machine learning for the task of structure-based chemical ontology classification. [PDF]

J Cheminform, 2021
Hastings J, Glauer M, Memariani A, Neuhaus F, Mossakowski T.   +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

Generalized Revenge. [PDF]

Australas J Philos, 2020
Murzi J, Rossi L.
europepmc   +1 more source

Semantic Cut Elimination for the Logic of Bunched Implications and Structural Extensions, Formalized in Coq

, 2022
Frumin D.
europepmc   +1 more source

Where Mathematical Symbols Come From. [PDF]

Top Cogn Sci
Schlimm D.
europepmc   +1 more source

On Sahlqvist Formulas in Relevant Logic. [PDF]

J Philos Logic, 2018
Badia G.
europepmc   +1 more source

Enhancing property and activity prediction and interpretation using multiple molecular graph representations with MMGX. [PDF]

Commun Chem
Kengkanna A, Ohue M.
europepmc   +1 more source