Results 81 to 90 of about 3,086 (177)
A Logical Modeling of Severe Ignorance. [PDF]
J Philos Logic, 2023 Bonzio S +3 more
europepmc +1 more source
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
Logics and admissible rules of constructive set theories. [PDF]
Philos Trans A Math Phys Eng Sci, 2023 Iemhoff R, Passmann R.
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
Implication in finite posets with pseudocomplemented sections. [PDF]
Soft comput, 2022 Chajda I, Länger H.
europepmc +1 more source
The Modal Components of Judgements in a Quantum Model of Psychoanalytic Theory. [PDF]
Entropy (Basel), 2023 Battilotti G, Borozan M, Lauro Grotto R.
europepmc +1 more source
Sheffer operation in relational systems. [PDF]
Soft comput, 2022 Chajda I, Länger H.
europepmc +1 more source
StrucGAP: a modular, streamlined and traceable data mining platform for structural and site-specific glycoproteomics. [PDF]
Nat CommunYang M +9 more
europepmc +1 more source
A comprehensive evaluation of advanced methods for identifying structural alerts using extensive toxicity data. [PDF]
J CheminformWang NN +6 more
europepmc +1 more source